Metadata
Author: Literature
Data
English[en]
The generalization says that every countable set of formulas is either satisfiable or refutable.
Spanish[es]
La generalización establece que todo conjunto denumerable de fórmulas es satisfacible o refutable.