mathematics derived logical concepts explicit definitions ''theorems'' mathematics derived logical axioms purely logical deduction gottlob frege founder logicism seminal ''die grundgesetze der arithmetik'' ''basic laws arithmetic'' built arithmetic system logic general principle comprehension called basic law v concepts ''f'' ''g'' extension ''f'' equals extension ''g'' objects ''a'' ''fa'' equals ''ga'' principle took acceptable part logic
Humanities Philosophy Applied philosophy Philosophy of mathematics