Hola buenas,
Llevo un tiempo observando lo difícil que es encontrar alguna demostración en concreto, buscándola en google o intentando averiguarla por mí mismo y me surgió una duda:
¿Existe algún sitio (libro, archivo, pagina web,...) en el que estén recopiladas todas las demostraciones matemáticas en un orden lógico (osea que cada teorema/propiedad/... pueda utilizar otras demostraciones, y estas demostraciones usen otras, y así hasta llegar a los axiomas)?
Hasta donde yo sé, las nuevas demostraciones que se van descubriendo aparecen en revistas científicas, pero no se si luego todas se transcriben en algún otro sitio o hay un registro de las revistas en el que se puede encontrar la prueba que buscas...
La pregunta en principio se dirige al campo de las matemáticas, pero también puede referirse a otras ramas científicas, como la física, la química,...