同じ公理と推論規則を定めればどんな宇宙でも同じ結果が得られる