Example image of eyePlorer eyePlorer map for 'Frege's theorem': Arithmetic Axiom Hume's principle Second-order logic Gottlob Frege Crispin Wright Logicism Philosophy of mathematics
Disclaimer