12/04/01 16:41:48.25
定義域が複素数全体の正則函数の値域は一点か,複素数全体か,複素数全体から一点のみ除いた集合になる.
整合論理体系はその中で証明も反証もできない命題が存在する.
整合論理体系はその中でその体系自身の整合を証明できない.
12/04/01 16:41:48.25
定義域が複素数全体の正則函数の値域は一点か,複素数全体か,複素数全体から一点のみ除いた集合になる.
整合論理体系はその中で証明も反証もできない命題が存在する.
整合論理体系はその中でその体系自身の整合を証明できない.