 Church was primarily concerned with providing a foundational system that meets two basic conditions: (1) it avoids the paradoxes, and (2) it is adequate for extant mathematics. These two conditions will be the main focus of this section.