metamathematical - adjective
normal form
metamathematical
comparative
superlative