Gratte-cielvignette|160px|Le Taipei 101, le plus grand gratte-ciel du monde de 2004 à 2010, culminant à , à Taipei, Taïwan. vignette|160px|La Tour Shanghai, grand du monde, culminant à , à Shanghai, Chine.|alt=La Tour Shanghai, plus grand du monde, culminant à 632 m et à Shanghai. vignette|160px|Le One World Trade Center à New York est le plus haut immeuble du continent américain avec sa flèche, et pour sa structure. Un gratte-ciel ou tour est un bâtiment de très grande hauteur.
New FoundationsEn logique mathématique, New Foundations (NF) est une théorie des ensembles axiomatique introduite par Willard Van Orman Quine en 1937, dans un article intitulé « New Foundations for Mathematical Logic », et qui a connu un certain nombre de variantes. Pour éviter le paradoxe de Russell, le principe de compréhension est restreint aux formules stratifiées, une restriction inspirée de la théorie des types, mais où la notion de type est implicite.