问答题什么是形式化方法?
问答题简述古代学者惟一的一次公理化方法尝试。
问答题平面几何的公理化概括(欧氏几何)。
问答题分别对正整数、平面几何(欧氏几何)进行公理化概括。
问答题简述公理系统的3个条件。