В колонках играет - тишина
Настроение сейчас - сломал мозг

Ну что за адский предмет. Я его уже читать не могу. Словосочетание ,,Элиминация кванторов,, меня просто добивает. Причём автор откровенно ставит осмысленность понятий на задний план, а зато на переднем у него ,,формализация,, понятий.
Не могу не увековечить здесь теорему Шредера-Берштейна ибо даже мой младший брат погимает её бредовость.
цитата:
,,Гораздо менее очевидным является следующее свойство, называемое теоремой Шрёдера – Бернштейна:При А меньше или равно B и B меньше или равно A, получим A эквивалентно B,, доказательстово на пол страницы. И над этим билось два человека, я в ауте