逻辑主义：数学的基础可以通过形成规则，或“语法”规则，和一些哲学概念等逻辑元素来实现。形式主义：形式元素可以作为数学的基础，但不一定是逻辑元素。