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