正しくても証明が書けない命題は沢山あることだろう。
仮に、囲碁は先手必勝であるという命題が正しかったとして、
その証明を記述するのにすべての手順を列挙するしか本質的に
方法がなかったとしたならば、現実的にはすべてを書き下せない。
書き下すだけの時間もなければ、書き下したものをファイル等に
記録して残すだけの場所も無いだろうから。