Respuesta:
Los lógicos buscan que los lenguajes formales tengan tres propiedades consideradas deseables: consistencia, completitud y solidez. Estas propiedades son estudiadas con ayuda de un lenguaje de orden superior que utilizamos para hablar acerca de un sistema formal dado: el metalenguaje. El mismo puede ser cualquier lenguaje natural o formal, aunque normalmente se utilizan lenguajes naturales con alguna que otra expansión (ejemplos: el alemán, el español, etc.).
Explicación:
