Теорема Льовенгейма — Сколема: історія змін

Перейти до навігації Перейти до пошуку

Вибір версії: позначте у кружечках версії для порівняння і натисніть «Enter» або кнопку внизу.
Пояснення: (поточн.) = відмінності від поточної версії, (попер.) = відмінності від попередньої версії, м = незначне редагування.

23 лютого 2025

  • поточн.попер. 17:2917:29, 23 лютого 2025 imported>Artem Tsvik 8958 байтів +8958 інші назви теореми, примітки