Em lógica matemática, a prova por exaustão é aquela em que demonstramos a validade de nossa afirmação,

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. Demonstre que a afirmação "a soma dos 30 primeiros números ímpares é 900", é verdadeira, utilizando a prova por exaustão e a prova por postulados e responda qual das duas provas seria mais adequada se o número aumentasse para os 100 primeiros números ímpares.