Matemáticas Inversas

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un programa de investigación y una relación que clasifican teoremas matemáticos identificando los subsistemas más débiles de la aritmética de segundo orden que son equivalentes a esos teoremas sobre una teoría base débil; estudia qué axiomas son necesarios y suficientes para demostrar resultados particulares.