Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 7 of 7
You appear to not have left a comment on either the question or the accepted answer (which would help attract the attention of their writers) -- I would suggest you start with that.
Like jbl says, you shouldn't even consider this until you've left a comment on the question. As a general rule, posting a duplicate question is not a good solution to any problem.
By the way, I've done you a favor and fixed the grammar in the question, so it's on the front page now. Better strike while the iron is hot.
Thanks for pointing this out! I made a comment on the accepted answer. I think there may be a way to make the argument work, but it is by no means trivial to do. The problem has to do with the fact that NBG cannot comprehend classes using formulas that quantify over classes, which is an essential part of the usual argument.
(Edit: Joel has now posted a detailed answer.)
Leaving a comment on someone's answer causes a little alert to draw their attention; leaving another answer on the same question does not. Also, in this case everyone involved has their contact information available through their user page; you could have alerted them via an e-mail.
1 to 7 of 7