Nun warum nicht sagen: Wenn Du wissen willst, was für einen Sinn der G.sche Satzt hat, sieh hin was die Mathematiker, die ihn beweisen wollen, beweisen wollen – & wenn Du das sehen willst, sieh (hin) was sie tatsächlich tun, welche Anläufe sie machen ihn zu beweisen.