imprädikative Verfahren (Logik)

Verfahren (Definitionen), bei denen ein Gegenstand (Element) durch eine Menge definiert wird, die ihrerseits die Existenz dieses Elementes voraussetzt. Viele Begriffsbildungen der klassischen Analysis sind imprädikativ (so z. B. die Definition des Maximums einer Funktion als desjenigen Funktionswerts unter allen Funktionswerten, der der größte ist). Die Forderung nach Vermeidung imprädikativer