4.逻辑学上的实在论(4)