شرح المنظومة ت حسن زاده آملي - السبزواري، الملا هادي - الصفحة ١٨٨ - غرر في إثبات تناهي الأبعاد
تحتاج إلى بيان، و هي ما يلي:
١- البرهان السلمي.
٢- و البرهان الترسي. هذا البرهان مستنبط من السلّمي و هما توأمان يرتضعان من ثدي واحدة.
٣- و البرهان الذي للسيد السمرقندي.
٤- و البرهان اللام ألفي للشيخ البهائي.
٥- و برهان المسامتة، و يسمى برهان الموازاة أيضا.
٦- و برهان التخليص، و هو عكس برهان المسامتة.
٧- برهان التطبيق.
٨- البرهان الذي للشيخ الإشراقي، و سماه البرهان العرشي.
اعلم أن النكتة المذكورة كافلة لبيان كل واحد من تلك البراهين، و هي في الحقيقة تضاهي رسالة، و لعلّ نقلها هاهنا يسهّل الأمر للمحقق الفاحص، و هي ما يلي:
«نكته: شيخ الرئيس در فصل هشتم مقاله سوم طبيعيات شفاء (ص ٩٩ ج ١ ط ١) گويد: إنه من المستحيل أن يكون مقدار أو عدد في معدودات لها ترتيب في الطبع أو في الوضع حاصلا موجودا بالفعل غير ذي نهاية. بدان كه در تناهى ابعاد براهين متعدد اقامه كردهاند، صاحب اسفار در جواهر و اعراض آن (فصل هشتم فن اول مرحله يازدهم ص ٨ ج ٢ ط ١) گويد: فصل في إثبات تناهي الأبعاد و عليه براهين كثيرة نذكر منها ثلاثة: الأول و هو المعول عليه إلخ اين برهان كه معول عليه به نظر آن جناب است، برهان مسامته است. و برهان دوم از آن ثلاثه، برهان سلمى است و برهان سوم برهان تطبيق است، و گفتار او در اين باب گفتار فخر رازى در مباحث مشرقيه است، (فصل ١١ از كتاب ٢ مباحث مشرقيه در احكام جواهر و اعراض ج ١ ص ١٩٢ ط حيدرآباد).
برهان سلمى را به اختصار گذرانده است و فرموده: و قد شرحناه و ما يرد عليه و ما يمكن الذب عنه في شرح الهداية.
براهين تناهى ابعاد تا بدان حد كه در كتب فن دست يافتهايم عبارتند از: برهان سلمى و برهان ترسى و برهان مسامته كه همان برهان موازات است و برهان تخليص، و برهان تطبيق. و برهانى كه شيخ بهائى در كشكول (ص ٣٥١ ط نجم الدوله) از سيد سمرقندى نقل كرده است، و برهان لام الفى كه از خود آن جناب أعني شيخ بهائى است و در كشكول نقل فرموده است.
(ص ٢٦٩ ط نجم الدوله)، و برهانى كه شيخ اشراق در تلويحات اقامه كرده است و آن را برهان عرشى خوانده است.
برهان ترسى مستنبط از سلمى است و هما توأمان يرتضعان من ثدي واحدة. و برهان تخليص