Craig's axiomatization theorem