Pošalji tekstualnu poruku: Foundational Theories of Classical and Constructive Mathematics