Logic with quantification over sets only. ZFC is formulated in first-order logic. Compactness and L�wenheim�Skolem apply.