בית יוסף, אורח חיים רכד:י

והא דאמרינן ברואה קברי ישראל והמית אתכם בדין כתב הר"י אע"ג דקי"ל (שבת נו:) יש מיתה בלא חטא אפ"ה דינו דין אמת כי הוא יודע כל דרכי איש וכל דרכיו משפט: ודע דבגמרא הכי איתא ת"ר הרואה קברי ישראל אומר ברוך אשר יצר אתכם בדין וזן אתכם בדין וכלכל אתכם בדין ואסף אתכם בדין ועתיד להקימכם בדין מר בריה דרבינא מסיים בה משמיה דרב נחמן ויודע מספר כולכם והוא עתיד להחיותכם ולקיים אתכם בא"י מחיה המתים. והרי"ף והרא"ש כתבו ויודע מספר כולכם ולא ידעתי למה השמיטוהו הרמב"ם ורבינו: