یا به عبارتی هیچ عدد اصلی مانند x در نامساوی
صدق نمیکند.به همین ترتیب تعمیم فرض پیوستار میگوید:
به ازای هر عدد اصلی نامتناهی a، عدد اصلی چون x که در نا مساوی a < x < 2a صدق کند وجود ندارد.
اولین مسئله هیلبرت
در سال ۱۹۰۰ در انجمن بین المللی ریاضیدانان در پاریس دیوید هیلبرت ۲۳ مسئله ریاضی ارئه کرد که اولین آنها قضیه تعمیم فرض پیوستار بود و تا سال ۱۹۳۸ هیچگونه پیشرفتی در حل این مسئله وجود نداشت که در این سال کورت گودل اثبات کرد که تعمیم فرض پیوستار در اصول جاری نظریه مجموعهها قابل رد نیست. ولی در سال ۱۹۶۲ پل کوهن اثبات کرد که این مسئله با اصول نظریه مجموعهها (ZFC) قابل اثبات نیست.
نتایج گودل و کوهن عموماً به عنوان یک تناقض برداشت نمیشود و مانند اصل توازی اقلیدسی در هندسه تایید یا تکذیب آن به ما یک تئوری سازگار در ریاضیات میدهد.