Дается краткое изложение основных результатов различных попыток представить предложенную Л. Витгенштейном правильную логическую нотацию в систематическом виде: рассматриваются правила применения N-оператора и правила элиминации знака тождества. Сопоставляются предложенные Каем Вемайером и Тимом Лампертом алгоритмы перевода «стандартных» формул на логический язык Трактата.