Перевод с английского на французский: logical system

• Лексикографический указатель
• :
• logical proof
• |
• logical system
• |
• logicality