An absolute L-realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.

中文翻译：

---

绝对L-可实现性和直觉逻辑

对算术语言的所有可数扩展L引入谓词公式的绝对L可实现性。事实证明，这种语义不符合直觉逻辑。