無限含めたときに無矛盾にできるかが問題であって数学者の忖度みたいに言うのはいかがなものか