公理化是什么?公理都是显然成立的吗?
发布人