不完全性器定理/花形新次
アラガイｓ
さんのコメント
AAAアクセルで証明してみろ。