Sekirov Dictionary

metatheorem

noun1

•
A statement about theorems proven in a metalanguage.
- The metatheorem of deduction will play an essential role ... — 2008

forms

metatheorems

This dictionary works without the internet: on your phone · in Chrome