Talk:Class is Proper iff Bijection from Class to Proper Class

Before anybody brings it up: yes, I know that this page uses results that have only been proven for sets. However, after reading these proofs, I am fairly certain that these theorems may also apply to mappings between classes as well. If anybody thinks otherwise please let me know.

Perhaps there can be a little side note on these pages that notify the reader of this, but then again those pages only use ZFC, so I'm not sure if it would be appropriate. --HumblePi (talk) 19:22, 20 April 2017 (EDT)

We still need to come up with a strategy which segregates results which can be derived from strict ZFC from those which require a "class" treatment. My understanding (which is limited) is that most "mainstream" mathematics all the way up to analysis and complex analysis can all be deduce from ZFC. It's only class theory that cannot.

The main thing that we want to avoid is to mix set-theoretical and class-theoretical language in the same pages, so that we are able to rigorously trace back those "high-level" results to the strict axiomatic framework (in this case ZFC) on which they rest. The class-theoretic axioms can then be used to derive the stuff that needs class theory to make it work. --prime mover (talk) 04:55, 21 April 2017 (EDT)

I have an idea. Maybe we can create a new template called notZFC which states something along the lines of:

This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.

That way, one would know without even needing to read the proof that you're not supposed to use this in "mainstream" mathematics. So if anybody decides to develop alternative axiomatic systems in the future, we'll have a way of differentiating them from the main one. --HumblePi (talk) 14:50, 21 April 2017 (EDT)

Okay, do you want to run with this? --prime mover (talk) 16:57, 21 April 2017 (EDT)

Yep. If I didn't think it was a good idea, then I wouldn't have brought it up. Do you think it would be okay? --HumblePi (talk) 17:39, 21 April 2017 (EDT)

Yes, as I say, it sounds like a good idea -- which is why I said: "do you want to run with this"? (Meaning: do you want to go ahead and implement your idea yourself? Or do you want someone else to set it up?) --prime mover (talk) 17:53, 21 April 2017 (EDT)

Oh, I see what you mean. I'm sorry about the misunderstanding. I have no idea how to actually create a template, so it would probably be best if someone else did that, but thanks for listening to what I have to say. --HumblePi (talk) 18:16, 21 April 2017 (EDT)

I had no idea how to create a template either, when I created Template:LEM (a template with a similar concept). I offer this to you as an opportunity to teach yourself the art of template writing in MediaWiki. There is ample documentaiton on the MediaWiki help pages. Feel free to have a go. --prime mover (talk) 18:32, 21 April 2017 (EDT)

Ok, I'll give it a shot. Thanks. --HumblePi (talk) 19:30, 21 April 2017 (EDT)