（填空题）
公理系统中的基本命题有两类：一类是（），另一类是（）。所有的（）都必须直接或间接地从（）导出。
答案解析
（多选题）
形式化的公理系统具有（）三个基本原则。
（简答题）
简述形式化的公理系统的三个基本原则。
公理化方法在其发展进程中大致经历了（）两个阶段。
（名词解析）
公理
（单选题）
海萨尼公理是（）
简述公理化方法的特点。
公理化方法
