interpretace teorie

Logika, vztah teorií, kdy zůstanou-li axiómy jisté první teorie pravdivými větami a dáme-li primitivním termínům v nich obsaženým smysl čerpající z nějaké jiné teorie druhé, pak teorie první má interpretaci v teorii druhé.

Vytvořeno: 17. 7. 2006
Aktualizováno: 17. 7. 2006
Autor: -red-