ردهها completeness Semantic completeness دیسهای ⊨𝒮 𝜙 ⇒ ⊢𝒮 𝜙⊨𝒮 𝜙 ⇒ ⊢𝒮 𝜙 گسترشها strong completeness