>>585
普通の数学の証明を形式化してチェックする分には問題ない

>>577の要点は
メタ数学的考察の必要上、形式的証明の定義を一つ固定したとき、どんな証明図でも「普通の数学の証明」と認められるのか？
という疑い