四 量化和本体论