一、简答

1.定义的三个组成部分是什么？

2.属加种差的定义公式是什么？并举例说明。

3.简述逻辑证明的三个组成部分。

4.什么是公理系统的相容性，如何证明一个公理系统是相容的？

5.什么是公理系统的独立性，如何证明一个公理系统中的公理是独立的？

6.什么是公理系统的完备性，如何证明一个公理系统是完备的？

7.中学平面几何公理系统是独立的吗？简要说明理由。