metamathematics - noun

singularmetamathematics
pluralmetamathematics