Combining Texts
Ideas for
'Dthat', 'Papancasudani' and 'Grundlagen der Arithmetik (Foundations)'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
9154
|
Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge]
|