Professor reli uma pergunta sua: https://ask.fm/wolfedler/answers/141832870173. Pensei num exemplo, a definição de par é: se 2|a, então a é par, a é inteiro. Mas, se fosse conceituá-lo, "pegaria" uma série de pares e observaria as características comuns que os tornam distintos dos não pares?

O conceito de um número par é o de que seja uma quantidade tal que, se se pegar um conjunto de elementos discretos que tenha esse número de elementos, se pode emparelhar todos eles dois a dois de modo que não fique nenhum desemparelhado. Isto é, que todo elemento tenha o seu par. Isso vai acontecer se o número de elementos for um múltiplo de dois, que é a definição de um número par.