Can we always mathematically formalise our taste and preferences? We discuss how this has been done historically in the field of game theory, and how recent ideas from logic and computer science have brought an interesting ...