SatvikBeri answers Learning Abstract Math from First Principles?