Question: Are Ivan Fesenko and Boris Trakhtenbrot both mathematicians?
Sentence (from "Trakhtenbrot's theorem"): In logic, finite model theory, and computability theory, Trakhtenbrot's theorem (due to Boris Trakhtenbrot) states that the problem of validity in first-order logic on the class of all finite models is undecidable.
Relevant evidence: No