Widerspruchsfreiheit (mathematische Logik)

eine Eigenschaft einer Menge X von Ausdrücken einer mathematischen Theorie; X heißt semantisch oder inhaltlich widerspruchsfrei, falls jeder aus X beweisbare Ausdruck allgemeingültig ist, syntaktisch oder formal widerspruchsfrei, falls wenigstens ein in X gebildeter Ausdruck existiert, der nicht in X beweisbar ist, und klassisch widerspruchsfrei,