"zfc" -
key terms from Wikipedia
consistent
with
zfc
independent
of
zfc
undecidable
in
zfc
zfc