# 概念推導導讀

299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。

[搜尋全部題目與詳解 →](/zh-Hant/explore/)

1共 1 項 · 第 1／1 頁



概念導讀



## [自然數：以最小歸納集判定成員，並分辨數與數字符號](/zh-Hant/derivations/derivation-mko-natural-number-01/?from=%2Fzh-Hant%2Fderivations%2F%3Fq%3Dmko-natural-number)

依 OCME 慣例（0∈N），把 MKO 的「0 以及由 0 經有限次後繼所得的數」讀成「實數中包含 0 且對 x↦x+1 封閉的最小集合」。據此證明 0∈N、3∈N；說明二進位符號「11」與十進位符號「3」表示同一個自然數；證明 −1∉N 與 1/2∉N；並與「自然數從 1 開始」的慣例 N⁺=N∖{0} 比較最小元素。

自然數

derivation-mko-natural-number-01





1共 1 項 · 第 1／1 頁