logicism邏輯主義學術名詞邏輯主義：數學英文釋義(philosophy) the philosophical theory that all of mathematics can be derived from formal logic