公理的集合論って、難しいの?