¿Existe una base de datos de todas las matemáticas conocidas por la raza humana? Si es así, ¿dónde puedo conseguirlo?

No, lo siento, no existe tal cosa. Ni siquiera hay una base de datos de las matemáticas del autor único Euler.

Hay libros de texto, cada uno de los cuales cubre los conceptos básicos de un tema establecido. Si está leyendo un artículo sobre investigación matemática, es probable que dependa de cosas más allá de los conceptos básicos de un tema establecido. Es posible que deba rastrear los documentos que se citan en el artículo.

Hay una clasificación de asignaturas bastante buena para las matemáticas. Es la Clasificación de asignaturas de Matemáticas de la American Mathematical Society. Está finamente dividido con muchos detalles. Esa clasificación se utiliza en la revisión de las bases de datos de revistas Mathematical Reviews Database y Zentralblatt MATH – ZMATH Online Database. Esas bases de datos se refieren a las revisiones de libros y artículos publicados en matemáticas. Eso es lo más cerca que puede llegar a una base de datos para las matemáticas. No es una base de datos para las matemáticas, sino una base de datos para revisiones de artículos en matemáticas.

No sé uno y me sorprendería si hubiera uno. Sería imposible (creo) organizarlo o mantenerlo actualizado. Hay miles de artículos matemáticos publicados cada año.

Bueno, podrías escribir sistemáticamente todas las cadenas posibles.

Cada enunciado matemático estará allí … en alguna parte.

No existe tal base de datos, sin embargo, si alguna vez se construyera tal base de datos, podría verse así:
Página de inicio de Metamath