二阶逻辑造句

1、实数集的上确界公理用到了实数集的子集，这是一种二阶逻辑的陈述。

2、这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。