Buscar Volver arriba Filtrar resultadosUbicaciónMatemáticas (1)ClasificaciónTipo de artículoCategoríaGuíaTemaN/AN/AAuthorRebecca Laff & Wendy RuizParis, Ricardo, Raymond, & JohnsonJennifer Paris, Kristin Beeve, & Clint SpringerKrischa Esquivel, Emily Elam, Jennifer Paris, & Maricela TafoyaIrma Isabel González CuadrosJoaquín López HerraizMaría M. Reynoso, Carina E. Magnoli, Germán G. Barros y Mirta S. DemoGlencora BorradaileShow TOCyesnoCover PageyesTOC OnlyCompile but don't publishLicensePublic DomainCC BYCC BY-SACC BY-NC-SACC BY-NDCC BY-NC-NDGNU GPLAll Rights ReservedCC BY-NCGNU FDLTranscludedAutonumber Section Headingstitle with space delimiterstitle with colon delimiterstitle with dash delimitersLicense Version1.01.32.02.53.04.0Incluir datos adjuntosTipo de contenidoDocumentoImagenOtro Buscando enTodos los resultadosAcerca de 1 resultados5.11: La colección de axiomas es representablehttps://espanol.libretexts.org/?title=Matematicas/Logica_Matematica_y_Pruebas/Introducci%C3%B3n_amistosa_a_la_l%C3%B3gica_matem%C3%A1tica_(Leary_%26_Kristiansen)/05:_Incompletitud_sint%C3%A1ctica_-_Fundamentaci%C3%B3n/5.11:_La_colecci%C3%B3n_de_axiomas_es_representable\[\left( \exists x < a \right) \left( Variable \left( x \right) \land a = \bar{2}^\bar{8} \bar{3}^{Sx} \bar{5}^{Sx} \right) \lor \\ \left( \exists x, y < a \right) \left( Variable \left( x \right) \la...\[\left( \exists x < a \right) \left( Variable \left( x \right) \land a = \bar{2}^\bar{8} \bar{3}^{Sx} \bar{5}^{Sx} \right) \lor \\ \left( \exists x, y < a \right) \left( Variable \left( x \right) \land Variable \left( y \right) \land \\ a = \bar{2}^\bar{4} \bar{3}^{\left( \bar{2}^\bar{2} \bar{3}^{\left( \bar{2}^\bar{8} \bar{3}^{Sx} \bar{5}^{Sy} + 1 \right)} + 1 \right)} \bar{5}^{\left( \bar{2}^\bar{8} \bar{3}^{\bar{2}^\bar{12} \bar{3}^{Sx} + 1} \bar{5}^{\bar{2}^\bar{12} \bar{3}^{Sy} + 1} + 1 \…MásMostrar más resultados
