Теории типов

Упорядоченная пара Упорядоченная пара — это пара элементов, связанных отношением порядка.  Определение Куратовского требует трех пар фигурных скобок для определения […]