Babylonian Talmud, Tractate Shevuot

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