2006年7月24日 (月)
- 09:472006年7月24日 (月) 09:47 差分 履歴 −15 ゲーデル解 編集の要約なし
- 09:352006年7月24日 (月) 09:35 差分 履歴 +9 ゲーデル解 編集の要約なし
- 09:252006年7月24日 (月) 09:25 差分 履歴 +43 クルト・ゲーデル →略歴
- 04:362006年7月24日 (月) 04:36 差分 履歴 +15 クルト・ゲーデル 編集の要約なし
- 03:522006年7月24日 (月) 03:52 差分 履歴 −1 選択公理 編集の要約なし