12/01/17 02:32:53.13
>>314
κ is a 0-sharp cardinal if there is a non-trivial elementary embedding j: L → L whose critical point is κ
と定義すれば>>312の定義が適用できる！
12/01/17 02:32:53.13
>>314
κ is a 0-sharp cardinal if there is a non-trivial elementary embedding j: L → L whose critical point is κ
と定義すれば>>312の定義が適用できる！