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-