metatheorem
metatheorem · metatheorems
A statement about theorems proven in a metalanguageA statement about theorems proven in a metalanguage.
Значення
значень: 1A statement about theorems proven in a metalanguage.
Походження
From meta- + theorem.From meta- + theorem.
Wiktionary, CC BY-SA 4.0 · source
Форми
множина: metatheorems| Однина | metatheorem |
|---|---|
| Множина | metatheorems |
правильне