0418考える名無しさん垢版 | 大砲2024/05/06(月) 16:32:08.480 低学歴はシェファードソンの表現定理を知らないので ゲーデル不完全性定理がペアノ算術のみではなく任意の論理式のΣ1集合で成り立つことがわかってない その後も拡張され続けていてΣn集合で成り立つなど適用範囲に限界がない