Title: Untersuchungen zum Prädikatenkalkül