single-category theory

Only by doing this, we could go further to discuss which onewas right, single-category theory or rational model.
衹有証實了類別不確定下的推理是基於類別的推理，才能繼續進行單類說與理性模型的探討。