排中律的命題形式化應(yīng)該是做錯了。

怎么會使用或記號的呢？

pi是數(shù)，不是數(shù)字。應(yīng)該問數(shù)是什么？進(jìn)一步的思考或許可以開創(chuàng)新的的數(shù)學(xué)門類。

數(shù)列是一堆數(shù)，數(shù)列的和叫級數(shù)，它是一個(gè)數(shù)。不是數(shù)字。數(shù)字是數(shù)，但數(shù)不是數(shù)字。這得要區(qū)分清楚。狹義來說數(shù)字只有十個(gè)0、1、2、3、4、5、6、7、8、9。但是數(shù)可以是任何思想的抽象，也就是規(guī)定性的共識記號。