Некоторые вопросы аксиоматики геометрии, относящиеся к независимости аксиом принадлежности, порядка и конгруэнтности, II

Завершается доказательство теоремы о независимости аксиомы I$^*_5$ (ослабленной аксиомы I$_5$) от остальных аксиом принадлежности, аксиом порядка (при ослаблении аксиомы Паша) и ослаблений гильбертовой аксиомы параллельности IV$^*$. Доказывается также независимость аксиом II$^*_4$ и II$^{**}_4$ (представляющих в совокупности ослабление аксиомы Паша) от аксиом принадлежности, линейных предложений порядка линейных аксиом конгруентности (при ослаблении аксиомы III$_1$) и ослаблений гильбертовой аксиомы параллельности IV$^*$.