dangwhy·3 năm trước·discussspivak calculus opened my eyes to what exactly truth is and how to prove truth by build proofs from parts.