а | [а] | гласный, безударный |
к | [к] | согласный, глухой парный, твердый парный |
с | [с'] | согласный, глухой парный, мягкий парный |
и | [и] | гласный, безударный |
о | [а] | гласный, безударный |
м | [м] | согласный, звонкий непарный (сонорный), твердый парный |
а | [́а] | гласный, ударный |
т | [т'] | согласный, глухой парный, мягкий парный |
и | [и] | гласный, безударный |
к | [к] | согласный, глухой парный, твердый парный |
а | [а] | гласный, безударный |
х | [х] | согласный, твердый парный |
Или, что то же, на полярных системах аксиом или аксиоматиках. В основе первой лежит право на сомнение, другая этого категорически не допускает.
Согласно континуум-гипотезе, между N0 и G нет промежуточных мощностей, притом, как показал Коэн в 1962 году, ни она, ни её отрицание недоказуемы в основных аксиоматиках