The example of ZFC illustrates the importance of distinguishing the metamathematics of a formal system from the statements of the formal system itself.
Das Beispiel von ZFC veranschaulicht die Wichtigkeit, die Metamathematik eines formalen Systems von den Aussagen des formalen Systems selbst zu unterscheiden.