Логика math.LO

В мире логики есть мост. Он перекинут через пропасть, разделяющую допустимость правила и его выводимость из аксиом. Пока правила обходятся конечным числом посылок, мост крепок — для классической логики всё, что не нарушает истинность, уже содержится в синтаксисе. Но стоит добавить бесконечные посылки, и опоры начинают дрожать. Мост, увы, не всесилен.

В математике есть сито, просеивающее не пыль, а саму бесконечность. Его называют Q-пространством: любое множество здесь оказывается Gδ-множеством — счётным пересечением открытых, словно просеяно сквозь невиданно частую сетку.