Вклад участника 178.70.33.173

30 декабря 2025

• 00:2400:24, 30 декабря 2025 разн. история +18 665 Н Логика первого порядка →Аксиоматика и доказательство формул: Без правила для удаления квантора существования аксиома введения, приведённая в данной статье неполна. Если у нас есть полная пара "удаление – введение" только для квантора всеобщности, то квантор существования – не примитивное, а производное понятие, которое в классической логике можно выразить через двойное отрицание. Как вариант, можно оставить старый вариант аксиомы, но тогда нужно добавить правило для удаления квантора существования, а это сложнее текущая