Indemostrabilidad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El estatus de una sentencia formal respecto a un sistema axiomático dado cuando ni la sentencia ni su negación pueden derivarse de ese sistema; se describe habitualmente como independencia respecto de los axiomas o indemostrabilidad dentro de la teoría elegida.