0058132人目の素数さん
2013/11/30(土) 20:32:09.82集合論の公理詳細
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