Käännökset
Valitse kieli▼
afrikaansalbaniaarabiabulgariaenglantiespanjagaliciaHaitian Creolehepreahindihollantiiiriindonesiaislantiitaliajapanijiddiškatalaanikiinakoreakreikkakroatiakymrilatvialiettuamakedoniamalaijimaltanorjapersiaportugalipuolaranskaromaniaruotsisaksaserbiaslovakiasloveniaswahilitagalogtanskathaitsekkiturkkiukrainaunkarivalkovenäjävenäjävietnamviro
englanti |
deducible derivable |
Sitaatit
"Laajassa mielessä käsitejärjestelmä on ristiriidaton silloin, kun mikä tahansa sallittua kielimuotoa oleva lause ei ole johdettavissa käsitejärjestelmän peruslauseista (aksioomista). Tämän määritelmän mukainen ristiriidattomuus on ehdoton edellytys tulokselliselle toiminnalle kuten esimerkiksi hyvälle tieteelle."