| http://www.w3.org/ns/prov#value | - In one direction: you can show that a causal antecedence relation defines a partial ordering over everything, and then use Zorn's lemma to show that there was a first cause. (it is a cosmological argument.) In the other direction: the axiom of choice is true iff it is possible to choose an element from each set for any collection of sets.
|
