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).