⊨

⊨

1. (mathematics, logic) models, satisfies

   ${\displaystyle \mathbf {V} _{\omega }\models {\mathsf {ZFC^{fin}}}}$

2. (mathematics, logic) semantic consequence

   ${\displaystyle T\models \varphi }$ if and only if ${\displaystyle T\vdash \varphi }$

• ⊭

• ⊢