Відкрити головне меню
Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Формальні системи
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Формальна система
.
Підкатегорії
Показано 4 підкатегорії з 4.
М
Математичні аксіоми
(3 К, 9 С)
П
Правила висновування
(11 С)
С
Системи теорії множин
(8 С)
Системи формальної логіки
(1 К, 6 С)
Сторінки в категорії «Формальні системи»
Показано 8 сторінок цієї категорії (із 8).
Формальна система
А
Аксіома
Аксіомна схема
В
Вивід
Д
Декомпозиція
Доказ (логіка)
П
Правило висновування
Ф
Формалізація
