Meta Mathematics

From PKC
Jump to navigation Jump to search

Meta Mathematics is a field primary based on Logic, and has been established by people such as Kleene and Turing.