The basic language L is a triple , where are denumerable sequence of distinct symbols. is the set of numerals denoting the corresponding positive integers. will be denoted by 0 and will be called any fool.