>>680
今更何を言ってるんだよ
形式化で証明を確定するのはショルツの二番煎じになるから
LANAの数学上の意義は認めず
コミュニケーション道具としては有益
と言を弄していたのに