Logicism

Of philosophy and philosophical doctrine.

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

This concept's ID is @1~32368