みんな公理的集合論とか強制法とかが常識とか
サラッというけど、結構難しいと思うけど。
閉非有界とかジェネリックとか共終とかposetとかmartinの公理とか
抽象的なramzeyの性質とかわけのわからん巨大基数とか次数とか木とか
そういうのがごっちゃになって直感も使い物にならない議論が
複雑に続いていくんだけど...
グラフ理論の無限版（無限なので図示不可能）みたいなイメージを持った