axióm reducibility

Logika, předpoklad B. Russella, že ke každé výrokové funkci libovolného stupně existuje formálně ekvivalentní výroková funkce prvního stupně, na kterou se dá redukovat. Tento mimologický axióm rozvětvené teorie typu byl s přechodem k jednoduché teorii typu eliminován. Viz také teorie typů.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 1. 11. 2020
Autor: -red-

Reklama: