無限公理は関係ありません。それ以前の昔々の話がベースですから。