反证法在直觉主义数学中并不天然成立，命题a不成立，并不意味着a的否命题自动成立，因为还可能有现有公理系统中无法证明也无法证伪的 · @minglaugodel · TwKit

@minglaugodel

反证法在直觉主义数学中并不天然成立，命题a不成立，并不意味着a的否命题自动成立，因为还可能有现有公理系统中无法证明也无法证伪的

曝光 578 · 评论 1 · 点赞 0 · 书签 0