On definitions in mathematics


Zvonimir Šikić




The concept of definition is usually not covered in mathematical logic textbooks. The definability of classes of structures is dealt with in model theory but the definability of concepts within a given structure is not. Our aim is to deal with these kind of definitions. We also address some of the implications for teaching and learning mathematics.