Abstract :
Gottlob Frege took a Euclidean approach to arithmetic and geometry and developed mathematical logic similarly to Euclid's method, through axioms he regarded as self-evident. Frege believed most human understanding of mathematical concepts was incomplete, therefore requiring philosophical argument to show that axiomatic theory matches a proof structure.