In this work, we examine advantages of formalization, and specially Ziegler's system formalization, relating to the most fundamental concepts used when building models with System Dynamics (SD). This is exemplified through the University/Unemployed model. We finish talking about the relations between model, theory and system concepts.