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

Luokka:Malliteoria