Список проголосовавших за комментарий "sortarray sortarray, если непротиворечива, то есть утверждения, про которые в её рамках нельзя вывести истинны они или ложны. Если начать её пополнять такими утверждениями как аксиомами, то придём к противоречивой."