基礎論やるんだったら以下のページはおさえとくべき

集合論の公理詳細
http://us.metamath.org/index.html

論理体系のリスト
http://home.utah.edu/~nahaj/logic/structures/systems/index.html

計算量クラスのリストとその図
https://www.math.ucdavis.edu/~greg/zoology/relations.html
https://www.math.ucdavis.edu/~greg/zoology/diagram.xml

逆数学とかの小型の数学体系とか
http://rmzoo.uconn.edu/diagrams.html