夫馬です。

「完全証明」という言葉で、今までの数学的証明が不十分だったと
印象操作して（強い主張）、それを非難されれば「形式的証明」と
いう意味だ、と批判をかわします。このようなことはポモに限った
ことでなく、数学的な分野でもあることです。まずは自分の身近な
分野から叩こうぜ、な

＞そういえば黒木さんの掲示板も最近は寂れてるねえ
私がやってやりました！