The meta-mathematics that might be considered the foundations of math and logic. First heard the term from peter smith.