Открыл для себя теорему о принципиальной непознаваемости мира средствами классической схемы "аксиомы-теоремы". В раздумьях.