mefrill,

LCR>>Хотя бы какой-нибудь гипотетический пример гипотетической ситуации

M>Конечные булевы топосы применяются для моделирования онтологий.

Чего такое "онтология"? Термин "онтология" мне известен с пар по философии, но я не уверен, что в данном случае это то же самое. Еще чуть более реальный пример можно?