Machine Learning and Knowledge Acquisition Acknowledgment Machine Learning and Knowledge Acquisition 4.3. Axiomatization