Изучение недоказуемости.

клуб тех, кому интересны недоказуемые математические утверждения. Тайная мечта - привлечь разных математиков и понаходить недоказуемые утверждения в их предметах... Не всегда обязательно должна быть какая-нибудь рамсеевскость. Можно ординальные инварианты или полуинварианты, да и другие причины недоказуемости встречаются. Чем сложнее задачка - тем вероятнее, что там сидит недоказуемость. Иногда бывает, что там сидит чуть-чуть недоказуемости. Ну, тоже хорошо. Вероятно, никакой группы не получится, но мало ли забредут активные люди, начнут что-нибудь интересное говорить... Никакую логику толком понимать для участия не обязательно, но нужно знать свой собственный предмет. Короче, пишите сюда все вопросы, предложения и невероятные догадки! Авось что получится!