実現可能性
実現可能性 (論理学) -- 数理論理学において、形式的な証明に構成的な実装やモデルを与える手法およびその概念。