| http://www.w3.org/ns/prov#value | - To repeat, WM claims that every non-empty subset of {...,-3, -2, -1}, including the set itself, must have a first/most-negative member.I challenge WM to provide us with any first/most-negative member of that set of all negative integers.Or, for that matter, of any of its supersets, including Q. > Since every rational number q_i belongs to a finite set of i > rationals, this proves that all rationa
|
