Kurt Gödel: Porovnání verzí