Toteutuvuus on matemaattisen logiikan käsite. Teoriaa sanotaan toteutuvaksi (engl. satisfiable), jos sillä on malli.
Joskus konsistenssilla tarkoitetaan toteutuvuutta ("semanttinen määritelmä"), useimmiten ristiriidattomuutta ("syntaktinen määritelmä").