“二階邏輯”簡單造句，二階邏輯造句子

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

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