加布林鲨鱼达布定理与罗尔定理的等价性
达布定理（Dedekind-Peano axiom）指出，数字系统中出现至少一个像0一样不比任何数小的元素，而且每个非0数都可以表示为这样的一个单元的相加和，也就是说该系统是确定的（inductively defined）。罗尔定理（Roullier's theorem）指出，一个确定的数字系统中必定存在至少一个不比任何数小的数字。
早晚养胃粥达布定理和罗尔定理等价，因为他们无外乎是讨论一个数字系统能否定义某个特定的数。达布定理是通过显式定义这个数而证明系统能定义，而罗尔定理是通过反证而直接证明。即若存在像0一样比任何数小的数，则证明系统能定义此数，而反之也成立，即若系统能定义某个特定的数，则存在像0一样比任何数小的数。在外面英语
胃疼症状>节奏的英文>阳光头像男
