>>426
＞式はあくまで式であり、現実とは無関係です
＞現実を表すのにうまくいかないなら、他のものを使えば良いだけです

現実から切り離された抽象的概念では済まなくなってる
といっているのだが

公理的集合論では
区別の出来ない元を複数持つ事はできない

ここで問題になるのは
現実の世界で
「同一なら１個」と「同一なものが複数ある」
ということが同居してることだ

１つの論証のなかに
Ａと非Ａが同時にはいってきてるのだ

これは公理系を複数つくることでは解決しない