>>117
ちなみに君無限公理をご存じ？
空集合に元をひとつ追加していく行為の繰り返しで無限集合に達することはない
つまりZF公理系から無限公理を取り除いた公理系では無限集合の存在は証明不可能
だから問答無用で無限集合の存在を認める無限公理が採用されている
君そんなことも知らなかった？　ほんとに教授なの？