Interesting question! You used the word 'model' when describing the turnstile, so I'll start with these: Syntactic consequence Γ ⊢ φ says: ...
確定! 回上一頁