2008-12-29 野崎昭弘2008『離散数学 「数え上げ理論」』講談社ブルーバックス arche 認識論 {型式の細別 | 一型式(=実数の包含する数<<直線>>)内を仮想された各段階の並び(=自然数)と一対一対応せんと分けようとする営為}