Euler diagrams as an introduction to set-theoretical models

Ryo Takemura

Understanding the notion of a model is not always easy in logic courses. Hence, tools such as Euler diagrams are frequently applied as informal illustrations of set-theoretical mod…