dangwhy·3 年前·議論spivak calculus opened my eyes to what exactly truth is and how to prove truth by build proofs from parts.