Teooria (täpsustus): erinevus redaktsioonide vahel

*Mingi '''[[mudeli teooria]]''' mingi [[interpretatsioon (loogika)|interpretatsioon]]i korral on teatud [[keel (loogika)|keel]]e kõigi nende [[valem (loogika)|valem]]ite [[hulk]], mis väljendavad [[tõesus|tõeseid]] [[väide|väiteid]] selles [[mudel (loogika)|mudeliks]] olevas [[algebraline süsteem|algebralises süsteemis]].

*'''Teooria''' ehk '''formaalne teooria''' ehk '''[[formaalne süsteem]]''' ehk '''deduktiivne süsteem''' on mingi [[arvutus (loogika)|arvutus]]e [[valem (loogika)|valem]]ite mingi [[hulk]], mille valemitest saab [[tuletamine (loogika)|tuletada]] ainult selle hulga valemeid.