[FOM] Completeness of FOL without contraposition

[Guillermo Badia]

Is there a completeness proof for FOL not using contraposition? I mean, is
there a direct proof that validity implies provability in FOL in the spirit
of say Kalmar's method for PL? Thanks in advance for any help you can offer
me.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140427/b0287190/attachment.html>