成熟度阶段的可通约性作为恰当理论间评估的条件 | Synapse