低学歴はシェファードソンの表現定理を知らないので
ゲーデル不完全性定理がペアノ算術のみではなく任意の論理式のΣ1集合で成り立つことがわかってない
その後も拡張され続けていてΣn集合で成り立つなど適用範囲に限界がない