Study Day of the Working Group “Axioms & definitions”