Погружение в логику: Номинальное и реальное