Postulate that natural numbers are elements of omega.