display all the ideas for this combination of texts
3 ideas
13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |