gódel's completeness theorem - French English Dictionary