When defining theories for foundational purposes, additional care must be taken and normal set-theoretic language may not be appropriate.
Όταν ορίζουμε θεωρίες για θεμελιακούς σκοπούς, πρέπει να το κάνουμε με περισσή φροντίδα και η κανονική συνολοθεωρητική γλώσσα μπορεί να μην είναι κατάλληλη.