Independencia (lógica Matemática)
![[This page as RDF]](http://es-la.dbpedia.org/static/dbpedialatam.png)
En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar una sentencia a partir de otras. Una sentencia σ se dice independiente o indecidible en una teoría de primer orden T u otros sistemas lógicos si T ni demuestra ni refuta σ; esto es, si no es posible probar σ partiendo de T, ni probar que σ es falsa.
