Extensionality, pairing, union, power set, infinity, replacement, regularity, choice, separation. Standard foundation; independence of CH, AC from ZF.
Extensionality, pairing, union, power set, infinity, replacement, regularity, choice, separation. Standard foundation; independence of CH, AC from ZF.