数理逻辑基础（希尔柏脱 阿克曼）

理论逻辑。又名数理逻辑或符号逻辑，是把数学上的开式方法应用到逻辑争议领域上去的结果。它在逻辑上使用一种形式语言，这语言在表示数学关系关系时早已使用。