| http://www.w3.org/ns/prov#value | - Thus, by the compactness theorem, there is a non-standard model with a non-standard number that is divisible by all standard natural numbers. (Alternatively, take an ultrapower of the standard model and consider the class of $(1, 2, 3!, 4!, 5!, 6!, \ldots)$.)
|
