Գրեք սա: The origin of the logic of symbolic mathematics