मैकेनिकल पारूं यह" फॉर्मल" रीजनिंग छी शुरू गस्सा  फिलॉस्फर त बै माथमेटिशन पैठ.