Некорректность интуиционистской логики относительно $L$-реализуемости

Для каждого счетного расширения $L$ языка арифметики определяется абсолютная $L$-реализуемость предикатных формул. Доказывается, что интуиционистская логика не является корректной относительно этих семантик.