4 relationer: Fullständighet (logik), Metamatematik, Satslogik, Tautologi (logik).
Fullständighet (logik)
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.
Ny!!: Emil L. Post och Fullständighet (logik) · Se mer »
Metamatematik
Metamatematik är studiet av matematiken själv genom matematiska metoder.
Ny!!: Emil L. Post och Metamatematik · Se mer »
Satslogik
Satslogiken är ett formellt logiskt system med väldefinierad syntax, avsett att symboliskt hantera språkliga satser, vilka uttrycker påståenden, och från dessa med giltiga slutledningar, dra slutsatser.
Ny!!: Emil L. Post och Satslogik · Se mer »
Tautologi (logik)
Tautologi är en benämning på en sats inom satslogiken, som är sann för varje tillordning av sanningsvärden till dess satssymboler.
Ny!!: Emil L. Post och Tautologi (logik) · Se mer »