hilbert russell tseitin robinson aristotle peirce gentzen prawitz barcan prior pnueli barwise loeb church leibniz mac lane martin-löf peano euclid smullyan zermelo