排中律的命题形式化应该是做错了。
怎么会使用或记号的呢?
pi是数,不是数字。应该问数是什么?进一步的思考或许可以开创新的的数学门类。
数列是一堆数,数列的和叫级数,它是一个数。不是数字。数字是数,但数不是数字。这得要区分清楚。狭义来说数字只有十个0、1、2、3、4、5、6、7、8、9。但是数可以是任何思想的抽象,也就是规定性的共识记号。