Toteutuvuus

Toteutuvuus on matemaattisen logiikan käsite. Teoriaa sanotaan toteutuvaksi (), jos sillä on malli.

Joskus konsistenssilla tarkoitetaan toteutuvuutta ("semanttinen määritelmä"), useimmiten ristiriidattomuutta ("syntaktinen määritelmä").

Lähteet 

Malliteoria