形式的な定義のすり替え