https://www.passeidireto.com/pergunta/129458403/e-possivel-demonstrar-que-2-e-racional-por-absurdo-em-teoria-dos-conjuntos-os-co