Keel (loogika)
Keele all mõistetakse matemaatilises loogikas (mudeliteoorias) valemite, lausete või muude väljendite moodustamiseks teatud süntaksireeglite järgi kasutatavate sümbolite hulka. Keele mõiste kuulub süntaksi valda. Antud keeles L võib olla kui tahes palju funktsioonisümboleid ehk funktsionaalsümboleid, seosesümboleid ehk relatsioonisümboleid ehk predikaadisümboleid ja konstandisümboleid. Seda tüüpi keeltes moodustatud lausetest piisab, et kirjeldada enamikku mis tahes matemaatiliste struktuuride omadusi ning väljendada väiteid nende struktuuride kohta.