http://www.filociencias.org/wiki/index.php?title=Sistemas_axiom%C3%A1ticos_consistentes&feed=atom&action=history
Sistemas axiomáticos consistentes - Historial de revisiones
2024-03-29T02:28:33Z
Historial de revisiones de esta página en la wiki
MediaWiki 1.39.3
http://www.filociencias.org/wiki/index.php?title=Sistemas_axiom%C3%A1ticos_consistentes&diff=28755&oldid=prev
Herny en 20:04 2 nov 2017
2017-11-02T20:04:19Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="es">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 20:04 2 nov 2017</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Línea 1:</td>
<td colspan="2" class="diff-lineno">Línea 1:</td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Los sistemas axiomáticos consistentes son aquellos en donde no es posible obtener un enunciado y su negación, ambos como teoremas.</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">Si, en cambio, a partir de los axiomas de un sistema se pueden obtener un enunciado y también su negación como teoremas, entonces el sistema es inconsistente.</ins></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
</table>
Herny
http://www.filociencias.org/wiki/index.php?title=Sistemas_axiom%C3%A1ticos_consistentes&diff=28752&oldid=prev
Herny: Protected "Sistemas axiomáticos consistentes" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]
2017-11-02T20:00:20Z
<p>Protected "<a href="/wiki/index.php?title=Sistemas_axiom%C3%A1ticos_consistentes" title="Sistemas axiomáticos consistentes">Sistemas axiomáticos consistentes</a>" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<tr class="diff-title" lang="es">
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Revisión anterior</td>
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revisión del 20:00 2 nov 2017</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>
Herny
http://www.filociencias.org/wiki/index.php?title=Sistemas_axiom%C3%A1ticos_consistentes&diff=28751&oldid=prev
Herny: Created page with " ---- Sistemas axiomáticos: diálogos | Inicio de la unidad"
2017-11-02T20:00:03Z
<p>Created page with " ---- <a href="/wiki/index.php?title=Sistemas_axiom%C3%A1ticos:_di%C3%A1logos" title="Sistemas axiomáticos: diálogos">Sistemas axiomáticos: diálogos</a> | <a href="/wiki/index.php?title=Ciencias_formales:_el_surgimiento_de_las_geometr%C3%ADas_no_euclideanas" title="Ciencias formales: el surgimiento de las geometrías no euclideanas">Inicio de la unidad</a>"</p>
<p><b>Página nueva</b></p><div><br />
<br />
<br />
<br />
<br />
<br />
----<br />
<br />
[[Sistemas axiomáticos: diálogos]] | [[Ciencias formales: el surgimiento de las geometrías no euclideanas|Inicio de la unidad]]</div>
Herny