gódel's completeness theorem - Allemand Anglais Dictionnaire