定義可能な数の概念は幾何学における作図可能数、代数的数、計算可能実数などを含む。
形式言語は可算個の式しか持たないので、どの形式言語で定義可能性を考えたとしても定義可能実数は可算個しかない。
しかしながらカントールの対角線論法で知られるように実数は不可算個あるため、ほとんどすべての実数は定義不可能な実数である。
作図可能数.
実数を特定する手法の一つに幾何学的な方法がある。
全ての正の整数、および有理数は作図可能である。
代数的実数.
代数的実数全体は実数体の部分体になっている。
代数的数は可算個しかないが実数は不可算個存在するため、濃度の意味でほとんどの実数は代数的ではない。
代数的でない数のことを超越数と呼ぶ。
超越数の最も有名な例は や などである.
計算可能実数.
代数的実数と同様、計算可能実数も実数の部分体を成している。
これまでの説明と同様、ほとんどすべての実数は計算可能でない。
算術における定義可能性.
ペアノ算術のような算術の形式的理論による定義可能性もある。
そのデデキント切断がその算術の言語の述語として定義できることである。
同様に、算術的なデデキント切断で定義される実数の集合は解析的階層の最下層を構成する。
この概念自体は集合論の言語の式としては表すことができない。
全ての解析的数、特に計算可能数は集合論の言語で定義可能である。
山本ヌイ
山本 ヌイ（やまもと ぬい）は、昭和時代の女性。新橋の芸者。別名・縫子。近衛文麿の愛人。近衛文麿との間に娘の山本斐子を産んでいる。
米良市右衛門
概略.
現在の子孫.
荒川十太夫の子孫である池田元と、米良市右衛門の子孫である近藤健が、赤穂浪士研究家の佐藤誠を介して知己となった。祖先は共に赤穂浪士の介錯人である。
すでに「随筆春秋」事務局員となっていた近藤の勧めもあり、池田が入会した。やがて、近藤は同人誌 随筆春秋の代表、池田は一般社団法人随筆春秋の代表理事を務めるようになる。
エピソード.
張本邦雄
経歴.
蛭間拓哉
経歴.
プロ入り前.
西武時代.
戸塚忠春
略歴.
概要.
梁柱東
生涯.
建国実践員養成所との関わり.
来歴.
生い立ち.
キャリア.
人物.
経歴.
ドジャース～レンジャーズ時代.