Más esactamente si considérase un oxetu matemáticu o una clase d'oxetos matemáticos C {\displaystyle \scriptstyle {\mathcal {C}}} , una teoría de C {\displaystyle \scriptstyle {\mathcal {C}}} denotada como T ( C ) {\displaystyle \scriptstyle T({\mathcal {C}})} ye un conxuntu de fórmules de primer orde (proposiciones del llinguaxe de la teoría) sobre C {\displaystyle \scriptstyle {\mathcal {C}}} que son verdaderes.