>>601
それは妥協するのが難しい。
形式的証明とは実際に書き下されたものだけを指す。