数学基础科技名词
数学基础科技名词：第1页
数学基础
foundation of mathematics
实无穷
actual infinity
潜无穷
potential infinity
有限论者
finitist
逻辑主义
logicism
直觉主义
intuitionism
公理学
axiomatics
直谓[的]
predicative
形式主义
formalism
非直谓[的]
impredicative
公理化理论
axiomatic theory
公理方法
axiomatic method
非形式公理学
informal axiomatics
数学基础 的上级学科
数学
数理逻辑数学基础