ردهها mathematical logic completeness نمونهها/پیادهسازیها Semantic completeness Syntactical completeness Structural completeness جستارهای پیونددار Leon Henkin Kurt Gödel sound