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.
, where
is the set of numerals denoting the corresponding
positive integers. 
will be denoted by 0 and
will be called any fool.