Giuseppe Peano was the founder of symbolic logic and his interests centred on the foundations of mathematics and on the development of a formal logical language.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Peano/