I thought the mathematical terms went something like this:
Trivial: Any statement that has been proven
Obviously correct: A trivial statement whose proof is too lengthy to include in context
Obviously incorrect: A trivial statement whose proof relies on an axiom the writer dislikes
Left as an exercise for the reader: A trivial statement whose proof is both lengthy and very difficult
Interesting: Unproven, despite many attempts
I thought the mathematical terms went something like this:
Trivial: Any statement that has been proven
Obviously correct: A trivial statement whose proof is too lengthy to include in context
Obviously incorrect: A trivial statement whose proof relies on an axiom the writer dislikes
Left as an exercise for the reader: A trivial statement whose proof is both lengthy and very difficult
Interesting: Unproven, despite many attempts