Abstract structures are studied not only in logic and mathematics but in the fields that apply them, as computer science, and in the studies that reflect on them, such as philosophy and especially the philosophy of mathematics.