Задание
Что может быть следствием аксиомы или теоремы?
- новая теорема, для доказательства которой использована аксиома или теорема
- утверждение, не требующее доказательства
- утверждение, непосредственно выводимое из аксиомы или теоремы
- новая аксиома, требующая доказательства