集合论出发，结合其他概念，能够建立起整座数理宫殿，它是所有数学成果的基石，所以不仅大奥术师们希望在严格定义避免悖论的同时，保留当前集合论中一切有价值的内容，其他高塔奥术师的论文也体现出了这个观点。

只不过，他们的论文又分别表现出了各自不同的倾向，一部分奥术师是从数理等同于逻辑出发。以道格拉斯和海瑟薇为代表，另外一部分奥术师则认为数理可以是完全形式化的符号体系，不用具备任何实在的内容，只要