display all the ideas for this combination of texts
3 ideas
10054 | Arithmetic and geometry achieve some certainty without worrying about existence [Descartes] |
19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |