"logicism"的定义和意义

(philosophy) the philosophical theory that all of mathematics can be derived from formal logic