Thanks for that! I do apologise if that was an inappropriate question; I'm new to this site. Had I phrased it as a general inquiry into the naturals as a model/structure for NBG rather than a specific "is this true?" question, would it have been more appropriate?