＞数学的に全然明確では無い

いや、極限の定義もしたし、1対1はカントル様のアイデアだし、
有限集合の公理系も否定していない。
なのに、偽の命題が導かれた、カントル様が間違えているという事に他ならないじゃないか?

何が明確じゃない?