> as lemmas
meta-theorem
meta-theorem n. 
/ˈmɛdəˌθɪrəm/
Brit. /ˈmɛtəˌθɪərəm/
, /ˈmɛtəˌθɪərəm/U.S. /ˈmɛdəˌθiərəm/
, /ˈmɛdəˌθiərəm//ˈmɛdəˌθɪrəm/ΚΠ
1937 Jrnl. Symbolic Logic 2 147 The definitions D1, D4, and D5 are of course adopted for all formulae ϕ and ψ; D3 for every formula ϕ... Similar generality is intended for the rules and ‘metatheorems’ which will follow.
1971 G. Hunter Metalogic p. xii Complete proofs for metatheorems (theorems about a system) are..more laborious for natural deduction systems than for axiomatic ones.
1995 Jrnl. Symbolic Logic 60 222 The new metatheorem grew..out of an effort to find a new proof of Ash's metatheorem.
<
as lemmas
- female-fronted
- female-headed
- female-like
- female-mastix
- female-only
- female-orientated
- female-oriented
- female-owned
- female-specific
- female-to-male
- female-to-male ratio
- femalebane
- femalecentred
- femaledetermining
- femaledominated
- femalefocused
- femalefoe
- femalefriendly
- femalefronted
- femaleheaded
- femalelike
- femalely
- femalemastix
- femaleness
- femalenesses