——以上内容来源于《墨狩写实记录》,同时在《教会普通人写实记录》等记录上也有过类似记载。
(定义计算器或计数器:
φ(0)=破烂,φ(1)=艺术,…………
φ(0)=破烂宇宙/破烂捡拾者(“拾荒者”),φ(1)=艺术品宇宙/艺术创作者(“艺术家”),…………)
2.自然数集的三歧性。
所需定理:
1.集合w是归纳的,并且对于所有的集合s,若s是归纳的,则集合w?s。
2.(w归纳定理)若t?w且t是归纳的,则t=w。
由上述两项定理,我们可得:0∈4、1∈4、2∈6、18∈99、……等等等等,因此,我们可以引入一个新的定义——
对于任意n,m∈w,如果n<m,则n∈w。
这样,我们不仅仅把所有由自然数组成的集合进行了处理,而且也建立了它们的良序排列。
定理3.对于任意n,m∈w,下述三个式子恰有一个成立:
也就是——
n∈m,n=m,m∈n。(1)
或
n<m,n=m,m<n。(2)
在(1)和(2)之中必有一个成立,满足(1)的称之为∈三歧性。