b'\n_START_ARTICLE_\nIndepend\xc3\xaancia (l\xc3\xb3gica matem\xc3\xa1tica)\n_START_SECTION_\nNota\n_START_PARAGRAPH_\nAlguns autores dizem que \xcf\x83 \xc3\xa9 independente de\xc2\xa0T\xc2\xa0se\xc2\xa0T simplesmente n\xc3\xa3o prova \xcf\x83, e n\xc3\xa3o necessariamente afirma que\xc2\xa0T n\xc3\xa3o pode refutar \xcf\x83. Estes autores ir\xc3\xa3o dizer que "\xcf\x83\xc2\xa0\xc3\xa9 independente e consistente com\xc2\xa0T" para indicar que\xc2\xa0T\xc2\xa0 pode nem provar nem refutar \xcf\x83.'