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.