用二階邏輯造句子，“二階邏輯”造句

2、這本書的研究與自動機和一元二階邏輯關係，對自動機類重點描述分佈式系統的併發行為。

1、實數集的上確界公理用到了實數集的子集，這是一種二階邏輯的陳述。