4 ms·

A theorem like that isn't provable (unless you're using some kind of nonstandard arithmetic). You could only prove it if you add something else, e.g. a precond

A theorem like that isn't provable (unless you're using some kind of nonstandard arithmetic). You could only prove it if you add something else, e.g. a precondition saying that X = 30.

Koshkin 3y ago
Right, if it can be asserted based on some independent assumptions that a positive X must be at least 30, then from those assumptions and X > 10 it would follow that X > 20.
- carnitine 3y ago
  It also just follows from X being >= 30.