Sentença ou proposição que não é provada ou demonstrada é considerada óbvia ou um consenso inicial necessário para a construção ou aceitação de uma teoria. Os “Elementos” de Euclides trazem alguns exemplos dessas proposições: “Duas coisas iguais a uma terceira, são iguais entre si”, “Coisas que coincidem uma com a outra, são iguais”.
Esse tipo de proposição ou sentença é chamado de
