There are many official terms that differ in Austrian German from their usage in most parts of Germany. Words primarily used in Austria are Jnner (January) rather than Januar, heuer (this year) rather than dieses Jahr, Stiege (stairs) instead of Treppe, Rauchfang (chimney) instead of Schornstein, many administrative, legal and political terms and a whole series of foods such as: Erdpfel (potatoes) German Kartoffeln (but Dutch Aardappel), Schlagobers (whipped cream) German Schlagsahne, Faschiertes (ground beef) German Hackfleisch (but Hungarian fasrt, Croatian and Slovenian informal fairano), Fisolen (green beans) German Gartenbohnen (but Czech fazole, Italian fagioli, Croatian (regional) faol, Slovenian fiol, Hungarian folkish paszuly), Karfiol (cauliflower) German Blumenkohl (but Croatian, Hungarian and Slovak karfiol, Italian cavolfiore), Kohlsprossen (Brussels sprouts) German Rosenkohl, Marillen (apricots) German Aprikosen (but Slovak marhua, Polish morela, Slovenian marelice, Croatian marelica), Paradeiser ["Paradiesapfel"] (tomatoes) German Tomaten (but Hungarian paradicsom, Slovak paradajka, Slovenian paradinik, Serbian paradajz), Palatschinken (pancakes) German Pfannkuchen (but Czech palainky, Hungarian palacsinta, Croatian and Slovenian palainke), Topfen (a semi-sweet cottage cheese) German Quark and Kren (horseradish) German Meerrettich (but Czech ken, Slovak chren, Croatian and Slovenian hren, etc.).
There are, however, some false friends between the two regional varieties:
Kasten (wardrobe) instead of Schrank, as opposed to Kiste (box) instead of Kasten. Kiste in Germany means both "box" and "chest".
Sessel (chair) instead of Stuhl. Sessel means "easy chair" in Germany and Stuhl means "stool (faeces)" in both varieties.
Vorzimmer (hall[way]) instead of Diele. Vorzimmer means "antechamber" in Germany
Ofen (oven) instead of Kamin. Kamin is Schornstein (chimney) in Germany
Polster (pillow) instead of Kissen.
Topfen (quark) instead of Quark.
The axiom of constructibility and the generalized continuum hypothesis each imply the axiom of choice and so are strictly stronger than it. In class theories such as Von NeumannBernaysGdel set theory and MorseKelley set theory, there is an axiom called the axiom of global choice that is stronger than the axiom of choice for sets because it also applies to proper classes. The axiom of global choice follows from the axiom of limitation of size.
Attila returned in 452 to renew his marriage claim with Honoria, invading and ravaging Italy along the way. Communities became established in what would later become Venice as a result of these attacks when the residents fled to small islands in the Venetian Lagoon. His army sacked numerous cities and razed Aquileia so completely that it was afterwards hard to recognize its original site.:159 Atius lacked the strength to offer battle, but managed to harass and slow Attila's advance with only a shadow force. Attila finally halted at the River Po. By this point, disease and starvation may have taken hold in Attila's camp, thus helping to stop his invasion.
Emperor Valentinian III sent three envoys, the high civilian officers Gennadius Avienus and Trigetius, as well as the Bishop of Rome Leo I, who met Attila at Mincio in the vicinity of Mantua and obtained from him the promise that he would withdraw from Italy and negotiate peace with the Emperor. Prosper of Aquitaine gives a short description of the historic meeting, but gives all the credit to Leo for the successful negotiation. Priscus reports that superstitious fear of the fate of Alaric gave him pauseas Alaric died shortly after sacking Rome in 410.
Italy had suffered from a terrible famine in 451 and her crops were faring little better in 452. Attila's devastating invasion of the plains of northern Italy this year did not improve the harvest.:161 To advance on Rome would have required supplies which were not available in Italy, and taking the city would not have improved Attila's supply situation. Therefore, it was more profitable for Attila to conclude peace and retreat back to his homeland.:160161
Furthermore, an East Roman force had crossed the Danube under the command of another officer also named Aetiuswho had participated in the Council of Chalcedon the previous yearand proceeded to defeat the Huns who had been left behind by Attila to safeguard their home territories. Attila, hence, faced heavy human and natural pressures to retire "from Italy without ever setting foot south of the Po".:163 As Hydatius writes in his Chronica Minora:
The Huns, who had been plundering Italy and who had also stormed a number of cities, were victims of divine punishment, being visited with heaven-sent disasters: famine and some kind of disaster. In addition, they were slaughtered by auxiliaries sent by the Emperor Marcian and led by Aetius, at the same time, they were crushed in their [home] settlements ... Thus crushed, they made peace with the Romans and all retired to their homes.