$T \Vdash ``\dot{A} \text{ é uma anticadeia maximal em } \mathcal{T} \text{ e } \mathcal{T} \text{ estende } T"$.

Dado $s \in T_0$ note que $T_0 \Vdash ``\exists t_s \in \dot{A} (t_s \text{ é compatível com } s)"$. Mostre que existe $T_0^s$ extensão de $T_0$ tal que $t_s \in T_0^s$ e $T_0^s \Vdash ``t_s \in \dot{A}"$.