Metadata
Author: Literature
Data
English[en]
A proposition p is said to be undecidable in a system S if neither it nor its negation ~p is provable in S.
Spanish[es]
Se dice que una proposición p es indecidible en un sistema S si ni ella ni su negación ~p es demostrable en S.