Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.

o maior portal de blogs de ciências da América Latina
Desde a antiga Grécia, matemáticos procuram a partir da lógica provar que propriedades matemáticas são verdadeiras.
