Correção

http://pt.dbpedia.org/resource/Correção

Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema.
Correção 
Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema. 
xsd:nonNegativeInteger 22 
xsd:integer 1793227 
xsd:nonNegativeInteger 5087 
xsd:integer 36992892 

data from the linked data cloud