我总疑心，科学里的每一个理论，都是更广义理论的条件实现。(a:vim,d:200405)(#认知,#形式逻辑.)