Similar to フォン・ノイマン=ベルナイス=ゲーデル集合論
素朴集合論
Naive set theoryツェルメロ=フレンケル集合論
Zermelo–Fraenkel set theory1+2+3+4+…
1 + 2 + 3 + 4 + ⋯6PPD
6PPDBFGS法
Broyden–Fletcher–Goldfarb–Shanno algorithmL-BFGS法
Limited-memory BFGSLF空間
LF-spaceM/M/1 待ち行列
M/M/1 queueT1空間
T1 spaceアーベル圏
Abelian categoryアルキメデス・パリンプセスト
Archimedes Palimpsestクレバススプレー
Crevasse splayダイアナ妃の死
Death of Diana, Princess of Walesリチャード・テイラー (哲学者)
Richard Clyde TaylorA¹ ホモトピー理論
A¹ homotopy theoryCBSニュース・アンド・ステーションズ
CBS News and StationsContainer Linux
Container LinuxKuバンド
Ku bandMRI造影剤
MRI contrast agent▲1 trendsRemezのアルゴリズム
Remez algorithm1の分割
Partition of unity2型糖尿病
Type 2 diabetesAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)ZFCから独立な命題の一覧
List of statements independent of ZFCΩ無矛盾
Ω-consistent theoryQR分解
QR decomposition