green numbers give full details | back to texts | unexpand this idea
16886 | The truth of an axiom must be independently recognisable |
Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths. | |||
From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4 | |||
A reaction: Frege thinks the axioms of arithmetic all reside in logic. |