公理化集合論及應用