分析的（analytic）な言明は、その真偽が言語の無矛盾性のみで決まる。
総合的（synthetic）な言明は、その真偽が現実世界の状態によって決まる。

数学は言語体系なので、すべての言明は分析的である。
よって、数学が現実世界について何かを述べることはない。
数学の言明の真偽を判定するために、現実世界と照合する必要はないし、それは無意味である。

科学は言語体系と世界記述の混合であり、分析的な言明と総合的な言明がある。
よって、科学はその世界記述の側面で、現実世界について何かを述べる。
科学の総合的な言明の真偽を判定するには、現実世界と照合する必要がある。


関連エントリ：
「ＡはＢである」という文についての考察
http://mojix.org/2008/03/20/a_is_b