“可证迷”并不是一个常见的、有固定英文对应表达的词汇,它可能是特定语境或小众群体中创造的一个词。不过,从字面推测其可能的含义,尝试给出以下几种英文表达思路:
provability enthusiast
“provability”意思是“可证性” ,指某个命题、理论等在特定逻辑系统或框架内能否被证明的性质。“enthusiast”表示“热衷者;爱好者” ,所以“provability enthusiast”可理解为对可证性痴迷、热衷于研究可证性的人。
provability fanatic
“fanatic”比“enthusiast”程度更深,有“狂热者;迷”的意思,强调对可证性达到了一种狂热、痴迷的程度。
certificate/credential fanatic
“certificate”和“credential”都有“证书;证明”的意思。如果“可证迷”指的是那些对各种证书、证明极度痴迷,热衷于获取各类证书的人,这种表达就比较合适。