torstai 17. tammikuuta 2008

epätäydellisyysteoreema

Aksiomaattista järjestelmää ei voida osoittaa ristiriidattomaksi sen omista aksioomista lähtien.*

Minä on aksiooma

Ei kommentteja: