>>525
証明論に限らず数学の形式化が進んでるから
昔みたいなことはもう起きないよ