Ultrafilter constructions are non-standard models requiring specific set-theoretic assumptions absen...
This proposition has not been edited since the history system was added.