2.5.4 数/量の生成的実現
数/量の外延的実現については，生成的な実現になるものとそうでないものの区別が立つ。即ち，総体を生成的に実現する実効的規則（アルゴリズム）が存在するものとそうでないものの区別である。
自然数，分数，整数，有理数の系は生成的に実現でき，実数の系はできない。