〔1.公理学。西尼尔的四个公理〕