Mathematik
Wahrheit
Satz
Widerspruch
Gericht
indirekt