اصول مشخص (بطور مثال، برای هر دو شی، یک مجموعه اشیاء متشکل از دقیقاً ان دو شی وجود دارد) میشود که مستقیماً دیده شود که درست اند، مگر حدس فرضیه تداوم ممکن بر اساس چنین اصول ثابت نشدنی ثابت شود.