差不多也和“有没有唯一正确的数学基础”等价。可以说肯定没有，要不然不会有形式主义，直觉主义。有一派只允许谈有限的东西，记不得叫什么主义了。