017_goedel_on_formally_undecidable_propositions_in_principia_mathematica_and_related_systems_i

017_goedel_ueber_formal_unentscheidbare_saetze_der_principia_mathematica_und_verwandter_systeme_i

088_euclid_elements