La diversidad de métodos de demostración: como el método de enumeración, la reducción al absurdo y el método de construcción.