Topologia e conjuntos em exercícios

--- lista:submodeloselementares [2021/12/13 14:13]
aurichi
+++ lista:submodeloselementares [2023/05/08 14:11] (atual)
@@ Linha 24: / Linha 24: @@
 **~~#.#~~** $\mathcal M \models \varphi[\alpha]$ se, e somente se, $\mathcal{N} \vDash \varphi[h \circ \alpha]$
-**~~#~~** Utilizando o resultado anterior mostre que, se $\mathcal{M} \cong \mathcal{N}$, então $\mathcal{M} \equiv \mathcal{N}$.<wrap help>[[Solução]]</wrap>
+**~~#~~** Utilizando o resultado anterior mostre que, se $\mathcal{M} \cong \mathcal{N}$, então $\mathcal{M} \equiv \mathcal{N}$.<wrap help>[[solucao:modeloFinito|Solução]]</wrap>
 **~~#~~** Mostre que se $\mathcal{M}$ é finito, então vale a volta.