Kurt Gödel

0

Formule ϕ je pravdivá v teorii T, platí-li v každém modelu v teorie T.

Mohlo by se vám líbit

Komentáře