数理逻辑是数学的基础，按理说应该是最明晰的分支，可是现在的数理逻辑教程大部分都将其视为数学的一个分支，而不是数学的基础。因为只有这样才能最快的导出尽量多的定理，而不陷于元数学，元语言的区分。

一般的数理逻辑教程都是采用柏拉图的立场，假设先已经有了当代数学，然后在ZFC中讨论模型论中的紧致性定理等。可是如果采取彻底的形式主义立场呢？那么必然要从元数学中发展数理逻辑的句法理论和ZFC，而模型论在哪个位置呢？究竟一阶逻辑的完备性定理需要预设ZFC么？

类别为：

数理空间