In this way, a theory is a way of designating a subset of E {\displaystyle {\mathcal {E}}} which consists entirely of true statements.
Με αυτόν τον τρόπο, μια θεωρία είναι ένας τρόπος να καθορίσουμε το υποσύνολο του Σ {\displaystyle \Sigma } το οποίο αποτελείται εντελώς από αληθείς δηλώσεις.