Roughly, formalists will tend to view V as something that flows from the ZFC axioms (for example, ZFC proves that every set is in V).
粗略的说，形式主义者傾向於把V看作是从ZFC公理推出的某种东西（例如，ZFC证明了所有集合都在V中）。