gódel's completeness theorem - Turc Anglais Dictionnaire