逻辑主义的主要思想是先有（ ）而后有（ ）。