このことから例えば型の具体性の問題の決定手続きを直観主義的な証明可能性の決定手続きに変換できる.
このことから例えば