| http://www.w3.org/ns/prov#value | - In Bell's presentation, we also know at this point that the real numbers with the operations of addition and multiplication form a field in the usual way, though with the caveat that in order to assume $x$ has a multiplicitive inverse we must know $x \neq 0$, a condition that is not automatic for numbers other than zero since we can not appeal to the law of the excluded middle.
|
