NBG's framework enables elegant expression of mathematical truths (e.g., about cardinal arithmetic) ...
This proposition has not been edited since the history system was added.