Zaslat SMS: The origin of the logic of symbolic mathematics