Logisches Verfahren, bei dem die Wahrheit eines Satzes durch die Zurückführung auf bereits als wahr Anerkanntes sichergestellt wird.