فرضیه پیوستگی، که تلاش میکند یک دسته عناصر سیت های مشخص نامحدود را تصدیق نماید، بالاخره نشان داده شد که از تیوری اصول سیت زیرمیلو-فراینکیل خودمختار است.