|WikiProject Mathematics||(Rated Start-class, Mid-priority)|
- A model of set theory is assumed to be standard unless it is explicitly stated that it is non-standard. Inner models are usually standard because their ordinals are actual ordinals.
is confusing to me. If the definition did not mean to imply that the membership relations coincided, then the ordinals of N could have nothing to do with the ordinals of M. I think it would be in accordance with standard usage to require inner models to be standard, but at the very least we should require them to be submodels so that "containing all the ordinals" makes sense. Quux0r 00:01, 26 March 2007 (UTC)
Would it be possible to reformulate that article in a way that you don't need a PhD in mathematics to understand it? — Preceding unsigned comment added by 188.8.131.52 (talk) 12:29, 15 July 2012 (UTC)