Babylonian Talmud, Tractate Bava Batra

מאי מלאכת תופיך ונקביך בך אמר רב יהודה אמר רב אמר לו הקדוש ברוך הוא לחירם מלך צור בך נסתכלתי ובראתי נקבים נקבים באדם ואיכא דאמרי הכי קאמר בך נסתכלתי וקנסתי מיתה על אדם הראשון

מאי ועל מקראיה אמר רבה א"ר יוחנן לא כירושלים של עולם הזה ירושלים של עולם הבא ירושלים של עולם הזה כל הרוצה לעלות עולה של עולם הבא אין עולין אלא המזומנין להואמר רבה א"ר יוחנן עתידין צדיקים שנקראין על שמו של הקב"ה שנאמר כל הנקרא בשמי ולכבודי בראתיו יצרתיו אף עשיתיו וא"ר שמואל בר נחמני א"ר יוחנן ג' נקראו על שמו של הקב"ה ואלו הן צדיקים ומשיח וירושלים צדיקים הא דאמרן משיח דכתיב וזה שמו אשר יקראו ה' צדקנו ירושלים דכתיב סביב שמונה עשר אלף ושם העיר מיום ה' שמה אל תקרי שמה אלא שמהא"ר אלעזר עתידין צדיקים שאומרים לפניהן קדוש כדרך שאומרים לפני הקב"ה שנאמר והיה הנשאר בציון והנותר בירושלים קדוש יאמר לו ואמר רבה א"ר יוחנן עתיד הקב"ה להגביה את ירושלים ג' פרסאות למעלה שנאמר וראמה וישבה תחתיה מאי תחתיה כתחתיהוממאי דהאי תחתיה תלתא פרסי הויא אמר רבה אמר לי ההוא סבא לדידי חזי לי ירושלים קמייתא ותלתא פרסי הויא ושמא תאמר יש צער לעלות ת"ל מי אלה כעב תעופינה וכיונים אל ארובותיהם אמר רב פפא ש"מ האי עיבא תלתא פרסי מידליאמר רבי חנינא בר פפא בקש הקדוש ברוך הוא לתת את ירושלים במדה שנאמר ואומר אנה אתה הולך ויאמר אלי למוד את ירושלים לראות כמה רחבה וכמה ארכה אמרו מלאכי השרת לפני הקדוש ברוך הוא רבש"ע הרבה כרכים בראת בעולמך של אומות העולם ולא נתת מדת ארכן ומדת רחבן ירושלים ששמך בתוכה ומקדשך בתוכה וצדיקים בתוכה אתה נותן בה מדה מיד ויאמר אליו רוץ דבר אל הנער הלז לאמר פרזות תשב ירושלם מרוב אדם ובהמה בתוכה