本文讨论了三种形式的自然主义,分别是蒯因、麦蒂和叶峰的。我们力图证明他们的立场或者是太强了,从而与自然主义的基本原则相冲突;或者是太弱了,以至于象哥德尔这样的柏拉图主义者也可在这种意义上称为自然主义者。我们还想说明这三种自然主义都不能很好地解释20世纪60年代以来数学基础的研究进展,虽然它们都声称尊重科学实践是自然主义的第一原则。