19/10/08 05:34:53.89 bC9PKbug.net
Nat(x) xがツェルメロの自然数のとき真となる述語
Nat(x)≡x={}∨(x={y}∧Nat(y))
＝x={}∨(x={y}∧(y={}∨(y={z}∧Nat(z)))
＝…
Fool(x) xが馬鹿のいうΩとやらのとき真となる述語ｗ
Fool(x)≡x={y}∧Fool(y)
＝x={y}∧y={z}∧Fool(z)
…
xから要素、その要素と、際限なく取れるが、決して{}にたどり着かないｗ
19/10/08 05:34:53.89 bC9PKbug.net
Nat(x) xがツェルメロの自然数のとき真となる述語
Nat(x)≡x={}∨(x={y}∧Nat(y))
＝x={}∨(x={y}∧(y={}∨(y={z}∧Nat(z)))
＝…
Fool(x) xが馬鹿のいうΩとやらのとき真となる述語ｗ
Fool(x)≡x={y}∧Fool(y)
＝x={y}∧y={z}∧Fool(z)
…
xから要素、その要素と、際限なく取れるが、決して{}にたどり着かないｗ