2. Various philosophical and semantical theories are candidates for axiomatization (but not all, e.g. coherence, pragmatic, fuzzy theories). NB: axiomatizations are not uniquely determined.