Agora é sua vez! Para visualizar postulados considere a seguinte proposição:
A soma dos 30 primeiros números ímpares é 900.
Em lógica matemática, a prova por exaustão é aquela em que demonstramos a validade de nossa afirmação apontando todas as possibilidades. Já a prova por postulados costuma ser muito mais eficiente do que a prova por exaustão, porque em geral parte de axiomas, definições ou algum padrão observado.
