Logik erster Stufe kann isomorphe Strukturen nicht voneinander unterscheiden, d.h. für zwei isomorphe Strukturen gibt es keinen Satz in Logik erster Stufe, der in einer der Strukturen wahr ist und in der anderen falsch.
Смотрите видео Logik erster Stufe #9 - Isomorphie онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь NLogSpace 25 Июль 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 2,766 раз и оно понравилось 57 людям.