Википедия:К объединению/15 декабря 2009

• Начинающим
• Сообщество
• Порталы
• Избранное
• Проекты
• Запросы
• Оценивание

К объединению: 31 мая 1 июня 2 июня 3 июня 4 июня 5 июня 6 июня 24 мая 25 мая 26 мая 27 мая 28 мая 29 мая 30 мая 17 мая 18 мая 19 мая 20 мая 21 мая 22 мая 23 мая 10 мая 11 мая 12 мая 13 мая 14 мая 15 мая 16 мая

 | 

Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.

Формальная теория, Формальные системы и Дедуктивная теория

Разные названия одного и того же понятия (В статье БСЭ "Формальная система" термины "формальная теория" и "дедуктивная система" перечислены среди синонимов, отдельных определений для них нет. Здесь "формальная система" и "формальная теория" объявляются эквивалентными терминами: Клини С. К. Введение в метаматематику. — М.: ИЛ, 1957. — С. 60..--Kuzmaka 14:37, 15 декабря 2009 (UTC)

Итог

Как очевидный случай, содержимое всех трех статей перенесено буквально в Формальная система.--Kuzmaka 00:36, 26 декабря 2009 (UTC)

В следующий раз в подобных случаях просите, пожалуйста, администраторов объединить истории правок объединяемых статей, дабы не терялось авторство. --Dstary 05:09, 26 декабря 2009 (UTC)