Википедия:К объединению/15 декабря 2009
Перейти к навигации
Перейти к поиску
К объединению: | 19 сентября | 20 сентября | 21 сентября | 22 сентября | 23 сентября | 24 сентября | 25 сентября |
---|---|---|---|---|---|---|---|
12 сентября | 13 сентября | 14 сентября | 15 сентября | 16 сентября | 17 сентября | 18 сентября | |
5 сентября | 6 сентября | 7 сентября | 8 сентября | 9 сентября | 10 сентября | 11 сентября | |
29 августа | 30 августа | 31 августа | 1 сентября | 2 сентября | 3 сентября | 4 сентября |
Здесь находятся завершившиеся обсуждения. Просьба не вносить изменений.
Разные названия одного и того же понятия (В статье БСЭ "Формальная система" термины "формальная теория" и "дедуктивная система" перечислены среди синонимов, отдельных определений для них нет. Здесь "формальная система" и "формальная теория" объявляются эквивалентными терминами: Клини С. К. Введение в метаматематику. — М.: ИЛ, 1957. — С. 60..--Kuzmaka 14:37, 15 декабря 2009 (UTC)
Итог
Как очевидный случай, содержимое всех трех статей перенесено буквально в Формальная система.--Kuzmaka 00:36, 26 декабря 2009 (UTC)
- В следующий раз в подобных случаях просите, пожалуйста, администраторов объединить истории правок объединяемых статей, дабы не терялось авторство. --Dstary 05:09, 26 декабря 2009 (UTC)