12/04/02 08:54:54.93
>>369
低脳の駆除には根気が必要。
猫
>369 名前：KingMathematician ◆LoZDre77j4i1 ：2012/04/01(日) 16:41:48.25
> 定義域が複素数全体の正則函数の値域は一点か,複素数全体か,複素数全体から一点のみ除いた集合になる.
>
> 整合論理体系はその中で証明も反証もできない命題が存在する.
>
> 整合論理体系はその中でその体系自身の整合を証明できない.
>
12/04/02 08:54:54.93
>>369
低脳の駆除には根気が必要。
猫
>369 名前：KingMathematician ◆LoZDre77j4i1 ：2012/04/01(日) 16:41:48.25
> 定義域が複素数全体の正則函数の値域は一点か,複素数全体か,複素数全体から一点のみ除いた集合になる.
>
> 整合論理体系はその中で証明も反証もできない命題が存在する.
>
> 整合論理体系はその中でその体系自身の整合を証明できない.
>