axiom

ax(斧子) + iom → 斧子之下出公理 → 公理