いんふるえん
編集の要約なし
07:54
+1
07:53
−1
−28
en:Category:Systems of set theoryより説明部分訳出。
07:52
+366
←新しいページ: 「集合論のシステム (体系)に関するカテゴリ。 {{see also|en:Category:Systems of set theory}} {{デフォルトソート:しすて…」
07:48
+233
