Diskusjon:Formal logikk
Fra Wikipedia, den frie encyklopedi
FOL er sunt og komplett. FOL + addisjon og multiplikasjon er ukomplett.
Og var ikke Gödel`s teorem i sammenheng med logisismen til Russell og Whitehead, altså at det avviste muligheten for at et en kunne utlede aritmetikk og en uendelig mengde tall fra et komplett og konsistent system a la Principia? Kanskje noen kan redigere selve artikkelen?
