>>635
証明が認められないだけでなく、誰も何のアイディアも見つけられなかった
（ただしJoshiを除く）

基礎論の有名予想であるcon(NF)は十年以上宙ぶらりんだったが
去年ついにleanによる形式化を経て数学界に認められた
https://mathoverflow.net/questions/132103/the-status-of-the-consistency-of-nf-relative-to-zf
アイディアがあるのは皆が認めていたが
証明があまりにも込み入っていたので完全に正しいかどうか
形式化するまで確信が持てなかったのだ