双语数学:自然语言×形式语言混合实践的语言学特征与命题真伪的中立性 · Bilingual Mathematics: Linguistic Features of Natural-Language × Formal-Language Hybrid Practice, and the Truth-Neutrality of Propositions

WORKING DRAFT (工作中草稿·2026-11-09). Not peer-reviewed, not final. Contemporary mathematics is a bilingual practice: propositions are stated and argued in natural language while carried and verified in formal language (Lean). Drawing on the established linguistic canon — Jakobson (equivalence in difference; obligatory categories), Weinreich (interference), Haugen (importation/substitution), Grice–Gumperz (implicature, contextualization cues), Poplack–Myers-Scotton (code-switching constraints, matrix-language frame), Thomason & Kaufman (contact as social phenomenon) — this monograph (i) states the truth-neutrality thesis: cross-language restatement never changes truth value, only precision, exposure of obligatory categories, and interference; (ii) surveys contact phenomena in the GH-line audit records (Group 1, 100 manuscripts of openai/math) under these existing categories (no private taxonomy); (iii) registers silent substitution — the most dangerous family (formal side compiles green while the proposition layer is silently replaced) — across four centuries of carriers: Cajori's Newton Lemma XI, the Pappus IV.8 interpolation, Toomer's mathematical reconstruction, and the Navier–Stokes formalization (arXiv:2610.08144); (iv) derives audit implications: capture requires a second criterion independent of the carrier's green light. Files: full bilingual (Chinese–English parallel) and English editions. / 随附中英全文对照版与全英文版。与 SMTDL 方法论主论文(DOI 10.5281/zenodo.23969093)及《OpenAI的751个案例》审计报告互为独立项目、交叉引用。