とにかく、無限公理を否定したところで、ある特定の形の無限集合が存在しないことしか言えないのではないですか？