A definição é a criação de um termo a ser usado, devendo ser de forma clara.

Exemplo:

Definição 3.1: Um inteiro é chamado de par se for divisível por 2

Na definição acima ainda falta a definição de outros termos, “divisível” e “inteiro”, que em
alguns contextos podem não ser totalmente compreendidos.

Definição 3.2: Sejam a e b inteiros. Dizemos que a é divisível por b se existir um numero
inteiro c de modo que bc = a. Dizemos também que b divide a, ou que b é um fator de a, ou
que b é um divisor de a. A notação correspondente é b|a.

A partir dessas definições é possível afirmar com clareza se um número é par:

Exemplo: 14 é par pois 2|14.

Definição 3.3: Um inteiro é chamado de ímpar desde que haja um inteiro x de modo que
a = 2x + 1.

Essa definição permite dizer quando um numero é impar sem precisar partir da ideia de que
ele não é par.

Definição 3.4: Um inteiro p é primo se p > 1 e se os únicos divisores positivos de p são 1 e

p.

Exemplo: 5 é primo pois 5>1 e possui apenas 1 e 5 como divisores positivos.

Na aula, o professor também dá uma outra definição de primo que em alguns casos da um
resultado diferente.

Definição 3.5: Um número positivo a é chamado composto se existe um inteiro b de modo

que 1 < b < a e b|a.

Exemplo: 18 é composto pois 9|18.

Teorema é uma afirmação declarativa sobre matemática para a qual existe uma prova.

Prova seria a tentativa de demonstrar se o teorema é válido ou não.