Relação bem-fundada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 53:
<br>
<center>
{| width="70%" style="border:1px solid #BBB; background:#FFF; padding:1em" valign="top"|}
{|
|
→(m \in S\vee \neg (s \in m))
</center>▼
:<math>\forall S \exists m \forall s((S \subseteq X \and S \not\{\} \rightarrow \exists B (B \in A \land \lnot \exist C (C \in A \land C \in B)))</math>
▲</center> .
|}
| |||