もう>>86で終わってる話

「何々が書いてないから厳密でない」というなら、

ZFC公理系から始めて、
すべての命題を、
記号論理で1ステップの漏れもなく導いているもの

以外は厳密ではないということになる

これは実質的にすべての数学の文書および数学を使っている文書が厳密ではないと言っているに等しい

こんな議論は無価値