#symbolic systems #mathematics #formal language #symbols not words #non-natural language #numerals #logic symbols