Loading [MathJax]/jax/output/HTML-CSS/jax.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

Buscar

  • Filtrar resultados
  • Ubicación
  • Clasificación
    • Tipo de artículo
    • Author
    • Show TOC
    • Cover Page
    • License
    • Transcluded
      • Autonumber Section Headings
      • License Version
    • Incluir datos adjuntos
    Buscando en
    Acerca de 1 resultados
    • 5.10: Las definiciones por recursión son representables
      https://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.10:_Las_definiciones_por_recursi%C3%B3n_son_representables
      \[CodeNumber \left( c \right) \land \\ \left( \exists l < c \right) \left[ Length \left( c, l \right) \land IthElement \left( a, l, c \right) \land \\ \left( \forall i \leq l \right) \left( \forall e ...CodeNumber(c)∧(∃l<c)[Length(c,l)∧IthElement(a,l,c)∧(∀i≤l)(∀e<c)(IthElement(e,i,c)→BaseCaseSet(e)∨(∃j<i)(∃ej<c)(IthElement(ej,j,c)∧ConstructionSet(ej,e)))].

    Support Center

    How can we help?