Title: Eine partielle Praedikatenlogik