Based on some achievements in cognitive science, psychology and behavioristic science, RT provides us with much knowledge of the psychological mechanism of inference.
We will be concerned primarily with bijective proofs, i.e., showing that two sets have the same number of elements by exhibiting a bijection (one-to-one correspondence) between them.