Fullständighet (logik)
From Wikipedia, the free encyclopedia
Ett axiomatiskt uppbyggt system eller ett formellt system är fullständigt, om allt det, som man önskar skall vara ett teorem i systemet också är ett teorem. Mer precist uttryckt är ett formellt system S, med språket L, fullständigt om och endast om varje tautologi i L är ett teorem i S. Man skiljer på semantiskt fullständiga system och syntaktiska sådana.