分别对正整数、平面几何(欧氏几何)进行公理化概括。
出自:计算机科学