У Вас отключен JavaScript и функционал сайта будет работать не полностью. Для полноценной работы включите JavaScript в настройках.
Аксиомы гораздо удобнее теорем, так как теоремы нужно доказывать, а аксиомы нет.