display all the ideas for this combination of texts
2 ideas
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
17627 | It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell] |