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: | 490 |
Nodes: | 16 (3 / 13) |
Uptime: | 57:36:39 |
Calls: | 9,675 |
Calls today: | 6 |
Files: | 13,719 |
Messages: | 6,171,169 |