Alkaliteetti (limnologia)
Yleisesti Kemiassa alkaliteetti tarkoittaa liuoksen sisältämien emästen kykyä neutraloida siihen liuenneita happoja. Veden alkaliteetti riippuu veteen liuenneiden emästen vahvuuksista, pitoisuuksista ja laadusta.
Yleensä enemmistö luonnonveden emäksistä ovat karbonaattien johdannaisia, mutta kaikilla emäksillä on oma puskurikykynsä. Asiditeetti ilmaisee liuoksen happojen kykyä neutraloida siihen liuenneet emäkset. Alkaliteetti ilmaistaan yksikkönä millimoolina litrassa vettä eli "mmol/l".
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ä.