Metadata
Author: WikiMatrix
Data
English[en]
For example, many consistency results in set theory that are obtained by forcing can be recast as syntactic proofs that can be formalized in PRA.
Portuguese[pt]
Por exemplo, muitos resultados de consistência na teoria dos conjuntos que são obtidos por Forçamento podem ser reinterpretados como provas sintáticas que podem ser formalizadas na PRA.