در این پایان نامه، ابتدا ثابت میکنیم تحت(zfc) در زبانی که برای هر رابطه روی rشامل یک نمادرابطه ای ا ست، یک توسیع شمارای آکنده تعریف پذیر *rازrوجود دارد. بدین منظور ابتدا مجموعهa شامل فرافیلترهای غیر اصلی n را مرتب میکنیم. سپس یک فرافیلتر d میسازیم که از آن برای ساخت یک فراتوان از r استفاده میشود. همچنین برای ساختن یک زنجیره استقرایی از توسیع های مقدماتی بکار میرود که، ساختارگام های اردینال تالی از زنجیره، فراتوان کراندار می باشد. اجتماع این زنجیره استقرایی به عنوان یک جهان اینترنال، در یک فراساختار بزرگتر نشانده شده و یک نشاندن نااستاندارد تعریف می شود.