Kagami-hiromichiの投稿記録

2008年6月3日 (火)

• 07:192008年6月3日 (火) 07:19 差分 履歴 +12 m 共終数 「存在」を「存在の整合性」に変更

2008年5月28日 (水)

• 05:012008年5月28日 (水) 05:01 差分 履歴 +89 m 共終数 「一般に<math>¥mbox{cf}(¥mbox{cf}(¥alpha))=¥mbox{cf}(¥alpha)</math>が成り立つので」を追加

2008年4月25日 (金)

• 12:582008年4月25日 (金) 12:58 差分 履歴 +6 m 共終数 「<math>\omega</math>番目の基数」を無限基数へ変更

2008年4月22日 (火)

• 08:302008年4月22日 (火) 08:30 差分 履歴 +21 共終数 弱到達不可能基数の定義に非可算を追加。存在が独立を証明不可能に変更。