简述公理系统的3个条件。
出自:计算机科学