Reinhardt, William, "Ackermann's set theory equals ZF" Annals of Mathematical Logic Vol.
•
In 1970 William Reinhardt proved that if is a formula of and ZF proves , then A proves .
The Big Bang Theory | Theory of a Deadman | music theory | probability theory | theory | Theory of relativity | Set the Controls for the Heart of the Sun | theory of relativity | Social learning theory | Set | Rita Ackermann | Go-Set | Game Theory (band) | Game Theory | Conspiracy theory | Rudolph Ackermann | Music theory | K-theory | AP Music Theory | Set (mythology) | Scuba set | Piaget's theory of cognitive development | Erector Set | conspiracy theory | Theory of Relativity | Theory | Terror management theory | Mandelbrot set | Invariant theory | information theory |