Similar to チャーチ・クリーネ順序数
ファジィ集合
Fuzzy set
メレオロジー
Mereology
有限交叉性
Finite intersection property
証明論
Proof theory
カット除去定理
Cut-elimination theorem
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic
独立性 (数理論理学)
Independence (mathematical logic)
二重否定翻訳
Double-negation translation
保存拡大
Conservative extension
Wikipedia:井戸端/subj/Template:仮リンクに関連する提案
Wikipedia:井戸端/subj/翻訳記事はインスタントな良質記事製造機になるか?
Wikipedia:井戸端/subj/TVerなどの動画を出典として良いか
Portal:イギリス/執筆・加筆依頼
第3師団 (イギリス軍)
3rd (UK) Division
第6師団 (イギリス軍)
6th (UK) Division
第1軍団 (ウクライナ国家親衛隊)
1st Azov Corps (Ukraine)第1特務旅団 (ウクライナ国家親衛隊)
1st Presidential Operational Brigade (Ukraine)第1独立原子力発電所防護大隊 (ウクライナ国家親衛隊)
28th Regiment of State Facilities Protection (Ukraine)第2軍団 (ウクライナ国家親衛隊)
2nd Khartia Corps (Ukraine)