Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed with unit probability count as knowledge, we demonstrate that constructivism cannot be upheld. Our derivation is compatible with both intuitionistic and quantum propositional logic. This result is implied by the Frauchiger-Renner theorem, though it is of independent importance as well.

建构主义认识论认为所有真理都是可知的。人们可能会问，建构主义在多大程度上与自然化认识论和使用成功的科学理论进行推理所获得的知识兼容。如果量子理论正确地描述了物理世界的结构，并且如果量子理论推论将以单位概率观察到哪些测量结果算作知识，那么我们证明建构主义就不能得到支持。我们的推导与直觉主义和量子命题逻辑兼容。弗劳奇格-雷纳定理暗示了这个结果，尽管它也具有独立的重要性。