| http://www.w3.org/ns/prov#value | - In a recent answer to the question, Are there examples of statements that have been proven whose consistency proofs came before their proofs?, user14111 posted (Are there examples of statements that have been proven whose consistency proofs came before their proofs?) an answer involving Moschovakis cardinals, a large cardinal notion which was shown to be inconsistent at some point in time.
|
