(noun.) (philosophy) the philosophical theory that all of mathematics can be derived from formal logic.
乔恩录入