Talk:Axiom of reducibility
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
WTF link
[edit]This article links to Ramified Theory of Types, which is redirected to Mathematica Principia, which doesn't describe any ramified theory of types, but, however, links back to this article. The link probably made sense when it was created, but whatever it might have once linked to is lost to all human knowledge. 71.72.235.91 (talk) 02:34, 10 June 2010 (UTC)
- Fixed to redirect to Type theory, which does discuss the ramified theory.--Cherlin (talk) 16:14, 7 February 2012 (UTC)