自然言語で証明をするとどこかで矛盾が生じそうなんだけどそんなことはないのか？ ソフトウェアエンジニアである自分からすると、なんかもっと形式的に記述できるフォーマットに移...