直感的に正しいんだからそれでいいじゃんって人はいっぱいいて。
でもそれで満足しなかった人が数学的に証明したりして。
それでも満足しなかった人が計算機にチェックさせたと。
それでもなお満足しない人はチェッカが正しいことを何らかの方法で確かめて、
その方法が正しいことを確かめて(以下無限ループ)

になるんだろうかねえ