Eclectic Dreck said:
Formerly, my NEW example, which expresses the same logical flaw as what started this whole ordeal:
Theorm: all numbers are equal to value n (in the original case the theorm is all natural numbers may be described by in fourteen or fewer words)
Condition: Find the first number not equal to n (in the original case, find the first value that requires more than 14 words to describe)
Judging criteria: "the first value that is not equal to n that is not described by this sentence" (originally : "the first number not unambiguously namable in under fourteen words")
1) A value is chosen, n. This value is equal to n and therefore falls outside the juding criteria. n = n therefore the theorm holds.
2) A second value is chosen, n+1. This value is found to NOT be equal to n and is not currently described by my judging criteria. Applying the descriptive sentence results in a contradiction ergo the judgring criteria cannot possibly apply. Therefore N + 1 = N and the theorm holds.
3) An arbitrary value is chosen, n +/- a. This value is found NOT to be equal to n and is not currently described by the judging criteria. Applying the description results in a contradiction and again cannot possibly apply. Therefore n +/- a = n.
Thus:
n = n +/- a where a is any member of the natural number set.
The same logic is used: my judging criteria, though far more blantant, has the same logical flaw. Any value it MIGHT describe it, by definition, CANNOT describe. As such, if it cannot describe ANY value then ALL values must be equal to my chosen value.
Ignoring that fact that your proof differs from mine in several key areas, the main problem is that you're disguising two conditions as one.
The condition "Not equal to n." and "Not described by this sentence."
The former can be true or false, the latter is an intrinsic paradox. If you apply it as false to a number it becomes true and if you apply it as true to a number, it becomes false.
Mine is not an intrinsic paradox. Yes, if you take it to be true you get a problem, but it can be false with no contradiction.
If you have two options and you know that one is not met is it logical to say that the other MUST have been met?
No, of course not.
But if you have two options and you know that at least one
must be met, and one isn't, then yes, the other must be.