Tractatus

6.2321

E que as proposições da matemática possam ser provadas, nada mais quer dizer que sua correção é reconhecida sem precisar comparar o que elas exprimem com os fatos, do ponto de vista de sua correção.