133.43.100.130の投稿記録

2017年4月4日 (火)

• 02:432017年4月4日 (火) 02:43 差分 履歴 +12‎ 代数的閉包 ‎ many countable の翻訳の訂正 タグ: ビジュアルエディター

2013年11月14日 (木)

• 11:372013年11月14日 (木) 11:37 差分 履歴 −1,024‎ 数理論理学 ‎ →‎参考文献
• 11:362013年11月14日 (木) 11:36 差分 履歴 −63‎ 数理論理学 ‎ →‎関連項目

2013年6月30日 (日)

• 14:552013年6月30日 (日) 14:55 差分 履歴 −314‎ ケーニヒの定理 (集合論) ‎ →‎ケーニヒの定理の証明: 後半の証明を簡単にした。

2012年12月19日 (水)

• 23:052012年12月19日 (水) 23:05 差分 履歴 −1‎ アイゼンシュタイン整数 ‎ 1の原始3乗根の修正

2012年7月12日 (木)

• 02:062012年7月12日 (木) 02:06 差分 履歴 −4‎ 無限論理 ‎編集の要約なし

2011年3月31日 (木)

• 10:042011年3月31日 (木) 10:04 差分 履歴 −12‎ ペアノの公理 ‎ →‎存在と一意性
• 08:432011年3月31日 (木) 08:43 差分 履歴 +16‎ カントールの対角線論法 ‎編集の要約なし

2011年3月18日 (金)

• 06:182011年3月18日 (金) 06:18 差分 履歴 +95‎ シークエント計算 ‎ →‎LJ
• 05:182011年3月18日 (金) 05:18 差分 履歴 +22‎ 有限集合 ‎ →‎基礎付け問題

2011年2月13日 (日)

• 16:342011年2月13日 (日) 16:34 差分 履歴 +20‎ 連続体仮説 ‎ →‎一般連続体仮説
• 03:462011年2月13日 (日) 03:46 差分 履歴 +12‎ ゲーデルの完全性定理 ‎ →‎定理とその帰結

2011年2月12日 (土)

• 14:272011年2月12日 (土) 14:27 差分 履歴 +323‎ グロタンディーク宇宙 ‎ →‎グロタンディーク宇宙と到達不能基数

2011年2月3日 (木)

• 08:452011年2月3日 (木) 08:45 差分 履歴 −15‎ 整礎関係 ‎ →‎その他の性質
• 08:342011年2月3日 (木) 08:34 差分 履歴 +18‎ 整礎関係 ‎ →‎その他の性質
• 07:502011年2月3日 (木) 07:50 差分 履歴 +67‎ 整礎的集合 ‎ →‎集合の階数

2010年9月18日 (土)

• 08:162010年9月18日 (土) 08:16 差分 履歴 +3‎ 有限集合 ‎ →‎有限性の必要十分条件

2010年9月17日 (金)

• 05:312010年9月17日 (金) 05:31 差分 履歴 +15‎ クレイグの補間定理 ‎ →‎証明

2010年9月16日 (木)

• 16:592010年9月16日 (木) 16:59 差分 履歴 0‎ 構成可能集合 ‎ →‎定義
• 09:322010年9月16日 (木) 09:32 差分 履歴 +13‎ 整列集合 ‎ →‎実数からなる集合

2010年9月11日 (土)

• 01:252010年9月11日 (土) 01:25 差分 履歴 −52‎ 順序数 ‎ →‎冪

2010年9月10日 (金)

• 07:172010年9月10日 (金) 07:17 差分 履歴 +2‎ ヴェブレン階層 ‎ →‎ヴェブレン階層とヴェブレン関数

2010年9月9日 (木)

• 20:442010年9月9日 (木) 20:44 差分 履歴 +81‎ ヴェブレン階層 ‎編集の要約なし

2010年8月22日 (日)

• 15:232010年8月22日 (日) 15:23 差分 履歴 +15‎ イプシロン数 ‎編集の要約なし

2010年4月23日 (金)

• 12:072010年4月23日 (金) 12:07 差分 履歴 0‎ 富士山本宮浅間大社 ‎ →‎祭事

2010年4月17日 (土)

• 06:212010年4月17日 (土) 06:21 差分 履歴 −1‎ クレイグの補間定理 ‎ 133.43.100.130 (会話) による ID:31625854 の版を取り消し
• 06:152010年4月17日 (土) 06:15 差分 履歴 −24‎ クレイグの補間定理 ‎ →‎命題論理の場合
• 06:052010年4月17日 (土) 06:05 差分 履歴 +6‎ 証明論 ‎ →‎一貫性（無矛盾性）の証明

2010年4月4日 (日)

• 06:362010年4月4日 (日) 06:36 差分 履歴 −1‎ 鳩の巣原理 ‎編集の要約なし
• 05:152010年4月4日 (日) 05:15 差分 履歴 +42‎ 順序集合 ‎ →‎例

2010年2月28日 (日)

• 12:422010年2月28日 (日) 12:42 差分 履歴 −375‎ 連続体仮説 ‎ →‎連続体仮説の公理性: "「証明」されたため、「連続体仮説」へと改名された" という記述は誤り。少なくとも Hypothese du Continu (1934) まで遡る。

2010年2月6日 (土)

• 14:112010年2月6日 (土) 14:11 差分 履歴 0‎ カントールの往復論法 ‎ →‎稠密全順序集合への当て嵌め
• 10:372010年2月6日 (土) 10:37 差分 履歴 +30‎ ゲーデルの完全性定理 ‎ →‎コンパクト性定理との関係: effective に実効的の語を当てた。

2010年1月28日 (木)

• 05:012010年1月28日 (木) 05:01 差分 履歴 +3‎ シークエント計算 ‎ complete の訳語は完備ではなく完全