Alkaliteetti
Alkaliteetti (A) (myös Alkaliniteetti) eli veden puskurikyky tai hapon sitomiskyky tarkoittaa vesiliuoksen emästen kykyä neutraloida siihen lisätyt hapot. Alkaliteetti ilmaistaan yksikkönä "mmol/l" (millimoolia/litra). Asiditeetti ilmaisee liuoksen happojen kykyä neutraloida siihen liuenneet emäkset.
Predikaattilogiikka
Logiikassa pyritään eheään ja täydelliseen aksiomaattiseen
järjestelmään. Eheydellä tarkoitetaan sitä, että tosista lauseista tietyn
päättelysysteemin nojalla päätellyt lauseet ovat nekin tosia.
Täydellisyydellä taas tarkoitetaan sitä, että kaikki ne lauseet, jotka
ovat aina tosia tiettyjen lauseiden ollessa tosia, ovat jälkimmäisistä
pääteltävissä. Jos tietty logiikan järjestelmä on sekä eheä että
täydellinen, vastaavat todistusteoria ja malliteoria toisiaan tässä
järjestelmässä.