Поиск в словарях
Abstract proof
математика
абстрактное доказательство