是描述两个元素的。也就是说，我们每次可以通过ehrenfeucht-fraïssé games 最多只抽取2个元素来验证一个结构是否符合这个逻辑。
二阶逻辑增加了集合的概念，即可以通过集合描述任意多的元素。所以有更强的表达力。
匿名回答于2021-09-13 07:43:08
