ルドルフ・カルナップ
Rudolf Carnap (1931) presents the logicist thesis in two parts: