tokens: Odkrywcą antynomii klas samozwrotnych był Bertrand Russell , który tworząc teorię typów wskazał także sposób takiego formułowania teorii aksjomatycznej aby unikać pojawiania się antynomii tego rodzaju .