quasiaxiomatizable

拟可公理化的