Modern set theories like ZFC and NBG handle the totality of cardinals via the proper class Ord witho...