metamathematical

not defined yet