体験によって基礎付けられた公理を導入