| http://www.w3.org/ns/prov#value | - By constrast, universal statements, often asserting the nonexistence of certain objects, are 'nonconstructive'.here is an example:Claim: A connected metric space with more than one point is uncountable.If you are familiar with these terms (wiki them), it should be clear that hypothesis and conclusion are both nonconstructive.
|
