'Any x’ is not ‘All x’
By inconsistent system we can "prove" what ever we want with no limitations
but then our "proofs" are inconsistent.
A consistent system is based on a finite quantity of well-defined axioms, but then we can find in it statements which are well-defined by the consistent system but they cannot be proven by the current axioms of this system, and we need to add more axioms in order to prove these statements.
So any consistent system is limited by definition and any inconsistent system is not limited by definition.
Let us examine the universal quantification '
all'.
As I see it, when we use '
all' it means that everything is inside our domain and if our domain is infinitely many elements, even if they are limited by some common property, the whole idea of "well-defined" domain of infinitely many elements is an inconsistent idea.
For example:
Someone can say that [0,1] is an example of a well-defined domain, which is also a collection of infinitely many elements, but any examined transition from the internal collection of the infinitely many elements to 0 or 1, cannot be anything but a phase transition that terminates the state of infinitely many smeller states of the collection of the infinitely many elements, and we have in our hand a finite collection of different scales and 0 or 1.
In short, the well-defined ‘[0’ or ‘1]’ values and a collection of infinitely many elements that existing between them, has a XOR-like relations that prevents from us to keep the property of the internal collection as a collection of infinitely many elements, in an excluded-middle reasoning.
Again, it is clearly shown in:
http://www.geocities.com/complementarytheory/ed.pdf
Form this point of view a universal quantification can be related only to a collection of finitely many elements.
An example: LIM X---> 0, X*[1/X] = 1
In that case we have to distinguish between the word '
any' which is not equivalent here to the word '
all'.
'
any' is an inductive point of view on a collection of infinitely many elements, that does not try to capture everything by forcing a deductive '
all' point of view on a collection of infinitely many X values that cannot reach 0.