original publication

Vaught conjecture infinitary logic counterexample Lean preprint submitted