Similar to 数学基礎論
Mizar
Mizar systemラムダ計算
Lambda calculus論理プログラミング
Logic programmingDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theorem宇宙 (数学)
Universe (mathematics)カントールの往復論法
Back-and-forth methodブラリ=フォルティのパラドックス
Burali-Forti paradox無限
Infinityモデル理論
Model theoryZFCから独立な命題の一覧
List of statements independent of ZFCΩ無矛盾
Ω-consistent theory形式主義 (数学)
Philosophy of mathematics#FormalismAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)QR分解
QR decompositionRSA暗号
RSA (cryptosystem)ウラジーミル・アーノルド
Vladimir Arnoldニールス・アーベル
Niels Henrik Abelアーベル群
Abelian groupアーベル多様体
Abelian varietyラース・ヴァレリアン・アールフォルス
Lars Ahlfors会田安明
Aida Yasuaki1964年東京オリンピック
1964 Summer Olympics▲1 trends731部隊
Unit 731▼-1 trends九六式軽機関銃
Type 96 light machine gunK2
K2▲3 trendsケネス・アーノルド
Kenneth Arnold