Better looking pseudo code

Slight changes to spacing and replaced the occurrences of \mathcal{F}…

… with the shortcut \F.

Significant changes to the final section

Small changes to the presentation of sub-inconsistency as well as a s…

…mall fix to line up the old and new proofs of Rosser's theorems more exactly.

v1.1

Create README.md