| код УДК | 
	описание | 
        примечания | 
	    | 510.21 | 
	    Общие философские проблемы. Критические аспекты логических антиномий | 
             | 
          
	    | 510.22 | 
	    Теория множеств. Теоретико-множественный подход | 
             | 
          
	    | 510.23 | 
	    Формализм (математические аспекты) | 
             | 
          
	    | 510.24 | 
	    Интуиционизм (математические аспекты) | 
             | 
          
	    | 510.25 | 
	    Конструктивный подход. Конструктивная математика | 
             | 
          
	    | 510.26 | 
	    Логический позитивизм | 
             | 
          
	    | 510.27 | 
	    Логическая семантика и семантические антиномии | 
            см. 519.767 Семантика языка (математические вопросы)  | 
          
	|   |