幾何学証明における公理の核心的役割:論理体系の基礎