Результаты (
русский) 2:
[копия]Скопировано!
Каждая ветвь имеет ту же логическую структуру: она начинается с определенных понятий.
Эти понятия должны проверить , сформулированы в явном виде аксиомы.
Из понятий и аксиом выводятся теоремы.
переводится, пожалуйста, подождите..
