ABSTRACT
The entire human knowledge can be classified as either empirical or formal knowledge. The former is the direct knowledge about the physical world, while the latter is the derived knowledge about both the physical and abstract worlds. A formal knowledge system is needed to maintain a stable, efficient, and rigorous inference base, in which only true or false conclusions may be derived and there is no gray area in between the conclusions of a rigorous inference.
