http://sange.fi/~atehwa/cgi-bin/piki.cgi/ Recent changes in ristiriitainen http://sange.fi/~atehwa/cgi-bin/piki.cgi/ristiriitainen http://sange.fi/~atehwa/cgi-bin/piki.cgi/#1187343137 <p>[Teoria] on ristiriitainen, jos se väittää kaiken. Vähän teknisemmin: jos kaikki sen termit ovat sen teoreemoja. Pidän tästä määrittelystä, koska se välttää totuusarvoista puhumisen. Nollateoria (teoria, jossa ei ole termejä) on triviaalisti <del>ristiriitainen</del> <ins>ristiriitainen.</ins> <p><ins>Lisäksi teoriassa voi olla ilmaus tai ilmausten joukko, jota kutsutaan "ristiriidaksi". Tällöin yleensä sanotaan, että ristiriitailmauksen tuottava ''aksiomien'' joukko (ks. [logiikka]) on ristiriitainen.</ins> <p>[...] Fri, 17 Aug 2007 09:32:17 +0000