next up previous
Next: Languages Up: The Formal Systems Previous: The Formal Systems

Basic Language

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

Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997