定義域が複素数全体の正則函数の値域は一点か,複素数全体か,複素数全体から一点のみ除いた集合になる.

整合論理体系はその中で証明も反証もできない命題が存在する.

整合論理体系はその中でその体系自身の整合を証明できない.