Sillycrown
→有限公理化
20:55
+117
→定義
20:50
+502
112.137.116.41
→有限公理化可能な理論
03:11
ぐしー
曖昧さ回避ページ論理式へのリンクを解消、リンク先を論理式 (数学)に変更(DisamAssist使用)
10:10
+9
Cewbot
切れたアンカーリンクを修復: 2010-08-19 (ただし変更大につき誤推定の可能性あり 7≥3) #ZFC→公理的集合論#選択公理
10:04
Malca-ite-chon'e
16:47
+23
16:46
+7
編集の要約なし
16:42
+39
16:41
+230
15:44
−620
Kik
ノート:Well-formed_formula#整論理式という用語は造語ではないか？
13:41
+17
Tomorrow g
Category:形式体系を追加 (HotCat使用)
13:42
+26
Caspar
節分割を追加
15:38
+180
EmausBot
ボット: 言語間リンク 6 件をウィキデータ上の (d:Q792536 に転記)
23:04
−142
160.45.152.6
de:Axiomenschema
15:20
+21
ZéroBot
r2.7.1) (ロボットによる 追加: uk:Аксіомна схема
07:17
+35
茴香
00:01
+3
02:05
+10
Melan
07:36
+1
+Cat
03:58
+61
en:Axiom schema(版：02:09, 22 September 2009）より訳出
02:59
+3,368
