http://dbpedia.org/ontology/abstract
|
Элемента́рный то́пос — категория, в некото … Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика. логик, например, интуиционистская логика.
|
rdfs:comment |
Элемента́рный то́пос — категория, в некото … Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика. логик, например, интуиционистская логика.
|