Talk:Axiom of reducibility

WTF link
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)