สมมติฐานความต่อเนื่อง

สมมติฐานความต่อเนื่อง (แม่แบบ:Langx) คือ สมมติฐานเกี่ยวกับขนาดของเซตอนันต์. เกออร์ก คันทอร์ ได้วางพื้นฐานเกี่ยวกับจำนวนเชิงการนับเพื่อเปรียบเทียบขนาดของเซตอนันต์ เขาได้แสดงให้เห็นว่าเซตของจำนวนเต็มมีขนาดเล็กกว่าเซตของจำนวนจริง สมมติฐานความต่อเนื่องกล่าวว่า

ไม่มีเซตใดมีขนาดอยู่ระหว่างเซตของจำนวนเต็ม กับเซตของจำนวนจริง

หรือกล่าวในเชิงคณิตศาสตร์ได้ว่า ถ้าให้จำนวนเชิงการนับของจำนวนเต็ม $|\mathbb{Z}|$ คือ ${\mathrm{\aleph }}_0$ (อะเลฟศูนย์) และ จำนวนเชิงการนับของจำนวนจริง $|ℝ|$ คือ $2^{{\mathrm{\aleph }}_0}$ แล้ว สมมติฐานความต่อเนื่องกล่าวว่า

$\nexists 𝔸:{\mathrm{\aleph }}_0<|𝔸|<2^{{\mathrm{\aleph }}_0}$

สมมติฐานภาวะต่อเนื่อง

ถ้าเซต S เป็นเซตที่ขัดแย้งกับสมมติฐานความต่อเนื่องแล้ว เราจะไม่สามารถจับคู่หนึ่งต่อหนึ่งระหว่างสมาชิกของเซต S กับ สมาชิกของเซตจำนวนเต็มได้ เพราะว่าจะมีสมาชิกของเซต S "เหลืออยู่"เสมอ. ในทางเดียวกัน เราจะไม่สามารถจับคู่หนึ่งต่อหนึ่งระหว่างสมาชิกของเซต S กับ สมาชิกของเซตจำนวนจริงได้ เพราะว่าจะมีสมาชิกของเซตจำนวนจริง"เหลืออยู่"เสมอ