dangwhy·3 tahun yang lalu·discussspivak calculus opened my eyes to what exactly truth is and how to prove truth by build proofs from parts.