>>301
俺は自分の証明して、論文に発表した定理が、
「適当な公理系から形式的に証明できること」
なんて全く確認してない。他人の論文を読む
ときもね。

形式的に証明できることなんて、普通の数学
者は全然、確認しないと思うが？