| http://www.w3.org/ns/prov#value | - s a finitist would accept as being well-defined statements obtained from ???meaningless??? foundations could conceivably be obtained from a finitist-acceptable base. (As an example NOT from the FLT, one might establish a minimum of an integer function by using differential calculus and showing this value is an integer; if I were a finitist I wouldn???t naturally use the word meaningless in connect
|
