4 ms·Nit: The relevant notion is not finite axiomatizability but recursive axiomatizability.by pulisse 8y agoNit: The relevant notion is not finite axiomatizability but recursive axiomatizability.