>>560
直観主義的な集合論に関しては参考にしているものはありません。普通の集合論なら田中尚夫 「公理的集合論」です。

>>561
確かにそのとおりですが、直観主義的にはどのような公理なら公理として認めてよいのかまるでわかりません。
基礎の公理や選択公理が排中律を導いてしまうというのを聞いたことがある程度です。