#mathematical symbols #logical symbols #infinite variables #formal language #symbolic logic #endless sequence #universal quantification