Set Theory -> Type theory -> Category -> Topos -> ??
-> Operational semantics -> ??

数学を基礎付けるメタロジック　流行の変遷