Talk:Metatheorem
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| ??? | This article has not yet received a rating on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
The single example in this article seems atypical from the point of view of mathematical logic. In any case, there are probably many good examples that could be included. --Quux0r 08:29, 16 April 2007 (UTC)
[edit] Metalogic
Even under Arthur Rubin's conservative view that nothing belongs under the metalogic category, one would have to accept that a metatheorem of logic is a theorem of metalogic. It is appropriately in the category metalogic. Pontiff Greg Bard (talk) 18:59, 17 January 2008 (UTC)
- Ah, but a "metatheorem" is not (at least necessarily) a "metatheorem of logic". I still don't think it fits, but I won't fight about it. — Arthur Rubin | (talk) 20:03, 17 January 2008 (UTC)
