metatheorem (Q2384512)
Jump to navigation
Jump to search
statement about a formal system proven in a metalanguage
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | metatheorem |
statement about a formal system proven in a metalanguage |
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- enwiki Metatheorem
- frwiki Métathéorème
- kkwiki Метатеорема
- nlwiki Metastelling
- ptwiki Metateorema
- ruwiki Метатеорема
- ukwiki Метатеорема
- zhwiki 元定理