証明に誤りがあることを示すには反例や矛盾を1個でも見つけてくればいいけど
証明が無矛盾であることを示すのってよく考えると結構むずかしいことだよな

本当に論理的に無矛盾な証明なのか？
実際には反例や矛盾が存在しているのに誰も気がついてないだけってことはないのか？

複雑な証明になればなるほど確認しがたくなっていくような気がする