assuming he successfully axiomatized
it, actually solved the proof
Later De Luca-Termini  axiomatized
the non-probabilistic entropy.
The result is nonetheless a little disturbing, especially as the failure of a theory to be finitely axiomatizable can sometimes be blandly redressed: a recursively axiomatizable theory with no finite models can always be finitely axiomatized
by rewriting it in a richer language (Kleene 1967).
For instance, it may be that from the perspective of cognitive psychology, the kind at issue will turn out to be what is said in the constrained sense, while from the perspective of an axiomatized
logic for natural languages, the kind of interest might be what is said in the austere sense.
In this article, we consider a smooth ambiguity preference axiomatized
by Klibanoff, Marinacci, and Mukerji (2005).
2]), and C[phi] ('it is common knowledge that [phi], which is axiomatized
such that it resembles the infinite conjunction E[phi] [conjunction] EE[phi] [conjunction] EEE[phi] [conjunction] .
These preferences are a special case of the more general ambiguity-averse preferences axiomatized
by Klibanoff, Marinacci, and Mukerji (2009).
Hirshleifer (1989) named it and established its main properties and Skaperdas (1996) axiomatized
the additive CSF.
The list includes Lexical Semantics, (with WordNet as an example), Axiomatized
Semantics (exemplified by several domain-dependent knowledge bases, as well as by Cyc), Statistical approaches (used for tasks such as deriving grammar rules from a corpus, or extracting relations from text), Knowledge Soup (Sowa 1990, 2000):
Suggested Upper Merged Ontology (SUMO)  also includes a subset related to finance domain, which is richly axiomatized
, not just taxonomic information but with terms formally defined.
Hegel captures the axiomatized
flows of capital as they capture desire and force it to produce more capital.
Even though the notion of structure for Bourbaki as an axiomatized
collection of relationships between elements of a set Bourbaki's influence on 1960s French structuralism slipped back into folklore.