مىكرده است . شاگرد خوانسارى بوده و در 1115 يا 1127 يا 1130 ق درگذشته است . گفتارى است در وجود و توحيد ، در 1 « فاتحه » و 2 « مقصد » و 1 « خاتمه » : فاتحه در 4 « فصل » . مقصد 1 - در اثبات وجود واجب ، 2 - در اثبات توحيد واجب . خاتمه در حديث‌هايى در اين‌باره . آغاز : يا من منه البدء و اليه المنتهى . . . چنين گويد . . . ابن اسماعيل . . . اين چند كلمه‌اى است مختص در بيان اثبات واجب و توحيد او . نسخه‌ها 2 / 728 ( 8 نسخه ) ؛ ذريعه 1 / 109 « اثبات الواجب تعالى » ، همانجا 9 / 1074 « ديوان معنى فسايى » ؛ اعلام 3 / 2287 مسيح فسايى ؛ طبقات 12 / 723 ؛ نجوم السما 195 ؛ فارسنامه 2 / 235 ؛ تذكرهء نصرآبادى 174 ، 531 ؛ ريحانه 4 / 27 ؛ آثار العجم 83 ؛ مشار ، مؤلفين 6 / 190 دو كار چاپى او ؛ صفا 5 / 316 . آستان قدس 4 / 5 ، همانجا ، نامگو 19 ؛ الهيات ، تهران 1 / 4 ؛ اشكورى 19 / 184 ؛ دانشگاه 3 / 133 ( 2 نسخه ) ، همانجا 11 / 2248 ؛ سپهسالار 3 / 39 نامگو . * اثبات واجب . ميرزا محمد فرزند حسن ، ميرزاى شيروانى ( د 1098 ق / 1687 م ) ( - آثار علوى 5 / 3774 و جز آن ) . در خداشناسى و پيامبرى و امامت ( - اثبات صانع ، كه شايد يكى باشند ) . آغاز : بدان كه اثبات صانع عالم محتاج به مقدمات بسيار و تطويل و اكثار نيست . تحرير ديگرى به عربى از آن در پايان « المعارف فى المعارف الهيه » ، چاپ شده است . نسخه‌ها 2 / 729 ( 4 نسخه ) ؛ ذريعه 1 / 101 « اثبات النبوة و الامامه » عربى ؟ ، 107 « اثبات الواجب تعالى » عربى ؛ اعلام 3 / 2115 ؛ طبقات 11 / 524 كه مرگ او را 1099 ق آورده . دانشگاه 12 / 2784 ، همانجا 14 / 3676 « اثبات النبوه و الولايه » ؛ قم ، فيضيه 1 / 328 « اثبات واجب تعالى و نبوت و امامت » . * اثبات واجب ( 1 ) . از خواجه نصير الدين طوسى ( د 672 ق ) . ( - بيست باب و جز آن ) . در اثبات خدا ، از هفت راه ، چهار راه بر شيوه متكلمان و سه راه به شيوهء حكما ، كه براى نجم الدين كاشانى ( كاتبى ) فرستاده است . اين گفتار در مجموعه رساله‌هاى خواجه به كوشش استاد مدرس رضوى در انتشارات دانشگاه تهران چاپ شده است . آغاز : بدان ايدك الله تعالى الى صراط المستقيم . . . كه نزد ارباب علم و عرفان و اصحاب حكمت يونان . نسخه‌ها 2 / 729 ( 1 نسخه ) ؛ ذريعه 1 / 108 « اثبات الواجب تعالى » ؛ اعلام 2 / 1242 طوسى ؛ طبقات 7 / 168 ؛ مشار ، مؤلفين 5 / 730 ؛ صفا 3 / 1205 ؛ احوال و آثار خواجه ، مدرس رضوى 571 . آستان قدس 4 / 2 ، همانجا ، نامگو 18 خوانسارى 1 / 178 . * اثبات واجب ( 2 ) . از همان طوسى ( - بالا ) ، به روش مناظره . آغاز : مسأله . در اثبات واجب الوجود به طريق مناظره . اگر واجبى نبود هيچ موجودى نبود .