What is a "foundation" for mathematics?
Overview
Branch
Concepts
Logical
©
created 1998/7/24
modified 1998/7/24