光井を辞めさせよう part2

光井不要は公理です
そして公理の正しさは証明できません
これをゲーデルの不完全性定理と言います