[initramfs2]

just the zfc axioms alone are already infinite. It's an axiom schema ranging over an infinite number of actual statements. That's just statements, without even considering symbols as you're saying.

[bananaflag]

Well you can just put the nbg instead, which is finitely axiomatizable