metamatematikk

Etymologi
av meta-

læren om matematikkens logiske grunnlag, se logikk.