アカウント名:
パスワード:
そこで有限の立場ですよ。原始再帰的算術においてはすべての量化子が有界なので(たとえば∀x.φ(x)ではなく∀x≦全財産.φ(x)という形の式でなければならない)、パラドックスを回避できます。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
UNIXはシンプルである。必要なのはそのシンプルさを理解する素質だけである -- Dennis Ritchie
高々有限の借金 (スコア:1)
しかし,現実に高々有限の借金さえ簡単には返せない。これはZFC公理系の限界を意味している。
Re:高々有限の借金 (スコア:0)
そこで有限の立場ですよ。原始再帰的算術においてはすべての量化子が有界なので(たとえば∀x.φ(x)ではなく∀x≦全財産.φ(x)という形の式でなければならない)、パラドックスを回避できます。