Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo =====Axioma da separação===== <WRAP info> ===Teorema=== Se $\varphi$ é o axioma da separação, ou seja, $$\forall x \exists v \forall y (y \in v \Longleftrightarrow y \in x \wedge \psi(y))$$ então $|\varphi|=1$. </WRAP> Vamos fazer essa demonstração em duas partes : *$|\varphi_1|=|\forall y (y \in \dot{v} \Longrightarrow y \in \dot{x} \wedge \psi(y))|= 1$ <wrap help>[[solucao:solseppart1|Solução]]:</wrap> *$|\varphi_2|=|\forall y (y \in \dot{x} \wedge \psi(y) \Longrightarrow y \in \dot{v})|= 1$ <wrap help>[[solucao:solseppart2|Solução]]:</wrap> *Juntando os últimos tópicos temos que $|\forall x \exists v \forall y (y \in v \Longleftrightarrow y \in x \wedge \psi(y))| = 1$ forcing/seppartesaxivalparte2.txt Última modificação: 2021/08/23 11:16por maugsia