>>906
数学基礎論━┳━数理論理学━━┳━━様相論理・線形論理
　　　　　　┃　　　　　　　　┣━━逆数学━━高階算術
　　　　　　┃　　　　　　　　┗━━代数的論理学　　
　　　　　　┃
　　　　　　┣━公理的集合論━┳━━連続体仮説
　　　　　　┃　　　　　　　　┣━━内部モデル・決定性公理
　　　　　　┃　　　　　　　　┣━━巨大基数
　　　　　　┃　　　　　　　　┣━━無限集合組合せ理論
　　　　　　┃　　　　　　　　┗━━推移的クラスの微細構造論
　　　　　　┃
　　　　　　┣━モデル理論━━┳━━代数幾何
　　　　　　┃　　　　　　　　┣━━超準的数学
　　　　　　┃　　　　　　　　┗━━型理論　
　　　　　　┃
　　　　　　┣━再帰理論━━┳━━計算量理論━┳━記述計算量理論
　　　　　　┃　　　　　　　┃　　　　　　　　┗━次数理論
　　　　　　┃　　　　　　　┣━━型付ラムダ計算
　　　　　　┃　　　　　　　┗━━抽象機械
　　　　　　┃
　　　　　　┗━証明論　━━┳━プログラミング━┳━モデルチェック
　　　　　　　　　　　　　　┃　　　　　　　　　┗━定理自動証明
　　　　　　　　　　　　　　┗━その他