 Russell, Bertrand |  category theory |  Frege, Gottlob |  Frege, Gottlob: theorem and foundations for arithmetic |  logic: paraconsistent |  mathematics: inconsistent |  -->Peano, Giuseppe--> |  Principia Mathematica |  type theory: Church’s type theory |  type theory: intuitionistic 