ZFC集合論

対角線論法ステップ1：すべてリストアップできたと仮定する0以上1未満のすべての実数を、1番目、2番目、3番目…と無限にリスト（表）にできたと仮定します。1番目：$0. \mathbf{a_{11}} a_{12} a_{13} a_{14}...