like you can take a look at the wacky stuff here, it's not hard to e.g. describe ordinals so large ZFC can't construct them, or any other particular computable list of axioms for set theory! https://en.wikipedia.org/wiki/Large_countable_ordinal