有的，以前希尔伯特就想建立一套公理系统推出所有数学，但是哥德尔不完备定理和塔斯基不可定义定理击碎了这种想法。不过就目前而言，整个数学大厦可以建立在集合论上，所有数学对象和运算都可以表示为一个集合或者一个真类(真类的情况其实要少的多，而集合之间的运算可以完全由命题演算和属于关系“∈”表示出来。