Thus our differences concern only the limit axiom which I have shown to be superﬂuous and which I have replaced by the demand for uniqueness, and the axiom of randomness which I have so modified that model sequences can be constructed.