The notion of *Formal Analyticity*, with the specific acronym ** FAn** (also used for the adjective

The words are suggestive of a connection with the notion of analyticity, which however should not be taken as definitive.
The definition of ** FAn** is given below.

The following definition is given in terms of classical set theory. It is believed to be equivalent to definitions given in other terms, (e.g. topos theory, number theory, recursion theory) and it is only because of this equivalence that the concept is considered important.

It is intended that HOST will suffice to express all ** FAn** statements in a reasonably direct way, and that other

A statement in formal language *L* is a ** FAn** statement if

© created 1996/12/31 modified 1997/5/24