Răspuns:
Ansamblu de simboluri folosite în matematică și în logică, permițând găsirea în mod mecanic a unor rezultate.