• Класифікатори
• 510 Фундаментальнi та загальнi проблеми математики

510.8 Математичні структури. Теорія моделей