Мы наверное про одну группу думаем ;-) *))! У меня тут прям детективная история по этой теме развернулась со вчерашнего дня :-D

__________________
в любой достаточно богатой системе аксиом существует утверждение, которое внутри этой выбранной системы аксиом нельзя ни подтвердить, ни опровергнуть.