上溢原理(overflow principle)關於由超自然數構成的內集合的性質的一個重要定理.設A是超自然數集’N的內子集,若大於某個標準自然數no的所有標準自然數都屬於A,則存在一個無限大自然數H,使得小於H的所有無限大自然數也屬於A.由上溢原理很容易說明,標準自然數之集N不是"N的內子集.