These statements are strong enough to imply the consistency of ZFC.
這些命題可以足夠強以致能證明ZFC的相容性。