Preguntas etiquetadas con incompleteness

¿Puede la prueba por contradicción funcionar sin la ley del medio excluido?

Recientemente estuve pensando en la validez de la prueba por contradicción. He leído en los últimos días cosas sobre lógica intuicionista y teoremas de Godel para ver si me darían respuestas a mis preguntas. En este momento todavía tengo preguntas pendientes (tal vez relacionadas con el nuevo...

¿Por qué la solidez implica consistencia?

Estaba leyendo la pregunta ¿ Consistencia e integridad implican solidez? y la primera declaración dice: Entiendo que la solidez implica consistencia. Lo que me intrigó bastante porque pensé que la solidez era una afirmación más débil que la consistencia (es decir, pensé que los sistemas...