Обсуждение:Формальная система

Что это? QrazyDraqon 21:39, августа 13, 2010 (UTC)

Формальные системы - кусочек математики. Чуть более общий, чем P=NP, про которое есть у нас статья. Ded Krapiva 21:58, августа 13, 2010 (UTC)

Это-то понятно, а смеяться-то где? QrazyDraqon 22:21, августа 13, 2010 (UTC)

Нигде. Тут все несмешное. Ded Krapiva 03:14, августа 14, 2010 (UTC)