It is not the case that V=WF under ZFC+Foundation is a mathematical theorem, not merely an interpretation, making the distinctness claim rigorous rather than conventional.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.