dangwhy·3 ปีที่แล้ว·discussspivak calculus opened my eyes to what exactly truth is and how to prove truth by build proofs from parts.