An important role of formal models is to remove ambiguity.
形式モデルの重要な役割は、曖昧性の除去である。