附录D 各种公理的说明