というか「√2が構成できない」という
ステートメントの意味が分からないわけだが．
数学では「〜出来ない」ことを示すには
まず「〜出来る」ということの意味を
厳密に定義してしまわないといけない．