Все доступные журналы
Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску
Общий список журналов сайта Онлайн справочник. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 16:49, 4 февраля 2024 EducationBot обсуждение вклад создал страницу Английская Википедия:Axiom schema (Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Short notation for a set of statements that are taken to be true}} {{more footnotes|date=May 2016}} In mathematical logic, an '''axiom schema''' (plural: '''axiom schemata''' or '''axiom schemas''') generalizes the notion of axiom. ==Formal definition== An axiom schema is a formula in the metalanguage of an axiomatic system,...»)