1885 | Proof moves from agreed premises to a non-evident inference [Sext.Empiricus] |
8627 | Leibniz is inclined to regard all truths as provable [Frege on Leibniz] |
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Frege] |
17495 | Proof aims to remove doubts, but also to show the interdependence of truths [Frege] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
2898 | Anything which must first be proved is of little value [Nietzsche] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |