公理系统自带的“大彩蛋”