☆★☆ 龍谷大学・学園に期待すること第１４章 ☆★☆

199：プラトン：2026/01/28(水) 14:36:14: >>198
ちなみに低学歴無職が死ぬまで知ることができない情報だけど
ゲーデル不完全性定理はペアノ算術のみで成り立つのではない
ロッサーの証明ではペアノ算術における純粋な無矛盾性の証明不可
シェファードソンの表現定理により任意のΣ1集合で構成される論理式で無矛盾性の証明不可が成り立つことがわかっている
つまりゲーデル不完全性定理を数学だと思い込んでるのは低学歴無職のお前だけ

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板