 

      .       ,   -  -,   -.

   14  1903    ().        1924      1927     .  1926       . 

 1936       The Journal of Symbolic Logic.           .           ,                 1935  .

       -.        1936 ,         .          ,       ,   . 

    ,  -      ,   ,         .         .

   ,    ,        (1966).         .        :          .

       1967 ,      .  ,   -      ,    .

   11  1995    (, ). 