The discrete infinity postulate is a feature of the Essentialist model (I-language, FLN), not an emp...