ф | [ф] | согласный, глухой парный, твердый парный |
о | [а] | гласный, безударный |
р | [р] | согласный, звонкий непарный (сонорный), твердый парный |
м | [м] | согласный, звонкий непарный (сонорный), твердый парный |
а | [а] | гласный, безударный |
л | [л'] | согласный, звонкий непарный (сонорный), мягкий парный |
и | [и] | гласный, безударный |
з | [з] | согласный, звонкий парный, твердый парный |
у | [́у] | гласный, ударный |
е | [й'] | согласный, звонкий непарный (сонорный), мягкий непарный |
[э] | гласный, безударный | |
м | [м] | согласный, звонкий непарный (сонорный), твердый парный |
ы | [ы] | гласный, безударный |
м | [м'] | согласный, звонкий непарный (сонорный), мягкий парный |
и | [и] | гласный, безударный |
именуется второй теоремой Гёделя (курсив), - таково: если формальная арифметика неротиворечива, то ее непротиворечивость нельзя доказать средствами, формализуемыми
система содержащая арифметику, непротиворечива, то утверждение о ее непротиворечивости выразимо в этой системе, но не может быть доказано средствами, формализуемыми
система, содержащая арифметику, непротиворечива, то утверждение о её непротиворечивости, выражаемое в этой системе, не может быть доказано средствами, формализуемыми
К ним относятся многомерные, многосвязные, стохастические, нелинейные самоорганизующиеся системы с переменной структурой с плохо формализуемыми и оптимизируемыми