predikativní definice (funkce)
[Predykatývní definyce], logika, definice (funkce), které nezahrnují bludný kruh. Neopírají se o předpoklad, že daný soubor může obsahovat objekty definovatelné pouze pomocí tohoto souboru jako celku. Viz také nepredikativní definice (funkce), teorie typů.
Vytvořeno:
14. 3. 2000
Aktualizováno:
16. 1. 2007
Autor: -red-
Odkazující hesla: nepredikativní definice (funkce).