Was nutzt mir die Ableitbarkeit wahrer Sätze der Prädikatenlogik erster Ordnung, wenn ich Zahnschmerzen habe ?