ルドルフ・カルナップ
Other formalists, such as Rudolf Carnap, considered mathematics to be the investigation of formal axiom systems.