Philosophy of Mathematics

by Øystein Linnebo

In short, Frege’s aim of gap-free proofs led him to formulate what is now known as a formal system, which is an artificial language with clearly formulated axioms and inference rules, all described with mathematical precision.