Text this: Exploración del formalismo lógico en el desarrollo de la teoría económica neoclásica