Fullständighet (logik)
Från Rilpedia
Texten från svenska Wikipedia
Ett formellt system i logiken sägs vara fullständigt om varje sann sats i systemet kan bevisas utgående från axiomen i systemet, dvs
Ett berömt teorem av Kurt Gödel säger att alla tillräckligt komplexa system är ofullständiga.
Denna logik- och matematik-relaterade artikel är bara påbörjad. Du kan hjälpa till genom att utöka den.
