Since A1 proposed a new foundation for all of mathematics, the work began with quite general definitions of a philosophical nature.
因为A1给出了所有数学的一个新基础，该著作首先讨论了哲学本质的广泛的定义。