Similar to チャーチ・クリーネ順序数

Fiber (mathematics)

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

3rd (UK) Division

6th (UK) Division

10,000 metres

List of deadliest aircraft accidents and incidents