Ideas from 'On Euclidean Geometry' by Gottlob Frege [1900], by Theme Structure

[found in 'The Frege Reader' by Frege,Gottlob (ed/tr Beaney,Michael) [Blackwell 1997,978-0-631-19445-3]].

Click on the Idea Number for the full details    |     back to texts     |     expand this idea

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The truth of an axiom must be independently recognisable