Autor Tema: ¿Toda cadena ordenada no densa descendiente tiene un mínimo?

0 Usuarios y 1 Visitante están viendo este tema.

11 Noviembre, 2015, 02:08 pm
Leído 5368 veces

Raúl Aparicio Bustillo

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,113
  • Karma: +0/-3
  • Sexo: Masculino
¿Toda secuencia ordenada no densa descendiente de elementos tiene un mínimo? Está claro que un modelo no estándar de cualquier teoría aritmética no, pero en lenguajes de 2º orden se podría expresar eso?