您可以自己再查一下自然数的标准模型。至于哲学家更没关系了，又基本不牵涉数字，且一阶逻辑是完备的。：）