The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while
In this book the authors present an alternative set theory dealing with a more relaxed notion of (in)finiteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-