Архив:Serebr:Новый Гоголь явился

В Википедии появились гениальные статьи, написанные новым участником Галактионом:

Постоянная, Переменная, Квантор, Негация, Верификатор и др.

Пример:

Верификатор ~ \vdash предназначен:

-

1) для отделения «математических овец» (верных математических предложений) от «математических козлищ» (неверных или проблемных математических предложений),

Там еще множество лулзов, см. также весь вклад участника.

Спешите прочесть пока не поудаляли операторы, которые подозрительно молчат (а также молчат службы патрулирования и службы досмотра)