Rudolf Carnap
その第一は論理実証主義 (logischer Positivismus) もしくは論理経験主義である。オーストリアのウィーンの哲学者たちによるウィーン学団 (Wiener Kreis) やドイツのベルリンの哲学者や数学者によるベルリン学派グループ（ルドルフ・カルナップ（Rudlf Carnap 墺→米）、モーリッツ・シュリック（Moritz Shclick 墺）、ハンス・ライヘンバッハ（Hans Reichenbach 独→米）ら）では、数学が記述命題ではないことに着眼し、さらに検証可能な命題以外は有意味でないという主張をもとにして、有意味な命題は自然科学に属すると主張する。