Write many paragraphs about Hajek's proofs and switch Bibligraphy management from Bibtex to Biblatex
Improve section on Independence of A5
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod

Conflicts:
	Papers/InProgress/LogicAndReligionCongress/Abstract.pdf