Логическая независимость: иллюстрации и примеры