Inter universal geom ..
89:１３２人目の素数さん
21/08/03 06:39:33.69 HE9n2APK.net
自然数論
０＜１、１＜２、２＜３、･･･
という論理式の無限個の集まり、ではない
０∈Ｎ
∀ｎ∈Ｎ．ｎ＋１∈Ｎ＆ｎ＋１＞ｎ
という論理式からなる
とくに後者は、
「任意の自然数ｎについて、ｎ＋１が自然数として存在し、ｎ＋１＞ｎである」
といってるのだから、最大の自然数は存在し得ないのである
もし、1が
「コンパクト性定理により、自然数論の有限モデルが存在する！」
と言い張ってるのなら、コンパクト性定理を完全に誤解している
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
286日前に更新/513 KB
担当:undef