If you count the axiom schema of separation as just one instead of a schema, ZF definitely is finitely axiomatized. (Also the other schemas have finite versions, i.e. their statements about filling the entire space of the higher-order.)
Goedel's results are about finitely axiomatized theories.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (2 / 14) |
Uptime: | 81:02:31 |
Calls: | 9,679 |
Calls today: | 3 |
Files: | 13,722 |
Messages: | 6,173,193 |
Posted today: | 3 |