Dictionary

Words, grammatical forms and meanings linked to the ontology.

mathematical logic en · NOUN

Meanings

(uncountable, usually) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

Forms

Spelling	Features	Labels	Source
mathematical logics	Number=Plur		lexicographic

Synonyms

formal logic · symbolic logic

Translations (2)

az riyazi məntiq (subfield of logic and mathematics) · pl logika matematyczna (subfield of logic and mathematics)