構成紙の計算のミス?

古典的な構成の計算の論文では、 (page 7 of the pdf, page 101 of the original document) この規則は、あらゆるコンテキストがそのコンテキストのメンバに還元可能であることを意味する。これは、正しいものではないようです 1 ≅ Nat 3 ≅ Nat 1 ≅ 3 Natがコンテキストの場合。 私は、下のデルタがMであることが最善の解釈であると考えています。特に、次のページで与えられた規則を考慮してください。 これは単にタイプミス、または私が理解していない微妙な論理的ルールですか? ベストアンサー あなたは正しいです、その紙に誤りがあります、そして、ルールは確かに読むべきです: $$ frac { Gamma vdash M: Delta} { Gamma vdash M cong M} $$ 平等のための&#

もっと読む