Математические утверждения и их структура. Понятия. Высказывания и предикаты. Ум Остенсивное определение в логике примеры