Hvornår blev sporvognen HHA 3657 overtaget af Sporvejsmuseet? 


I 1996 kom V6-vognen HHA 3657 til Sporvejsmuseet. Den er bygget til sporvejene i Hamburg i 1952 og var officielt byens sidste sporvogn, da sporvejsdriften blev indstillet i 1978. Den blev efterfølgende overtaget af bymuseet Museum für Hamburgische Geschichte. Remisen den blev opbevaret i brændte imidlertid i 1994. For at sikre vognen fremover ønskede de frivillige der passede den, at den kom til Sporvejsmuseet. Det resulterede efterfølgende i en lejeaftale mellem de to museer. Desuden fortsatte de frivillige deres arbejde på Sporvejsmuseet. Vognen blev overtaget af Sporvejsmuseet i 1998. I 2005 købtes yderligere V7B-bivognen HHA 4384 fra 1957 fra Hannoversches Straßenbahn-Museum. Efter en længerevarende restaurering kunne den sættes i drift bag på HHA 3657 i 2016. Den har i øvrigt også en interessant fortid, idet den blev benyttet til et mislykket forsøg med ubemandede bivogne i Hamburg i 1964-1965.
Disse er ikke længere oplagte sandheder, men kan heller ikke bevises fra de mere generelle aksiomer. Baseret på disse antagelser og nye definitioner, kunne han så i de følgende bøger ved deduktiv logik udlede en stor mængde teoremer eller sætninger inden for geometrien og aritmetikken.