Our great sponsors

What solved the problem for me was doing mathematics in a proof assistant. I use Coq, but Lean (which is more popular among mathematicians) works just as well for this purpose. To make a long story short, the proof assistant makes you justify every step in full rigor. There is no distinction between trivial and essential steps. You simply have to do every step. Doing math in a proof assistant gives you the confidence of knowing that, for sure, with 100% certainty, your proof is correct, and you did not skip any steps. (Logically, if you didn't skip any steps at all, then you certainly didn't skip any essential steps.) The foundation that this confidence provides allows you to learn and truly understand ZFC set theory.

coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semiinteractive development of machinechecked proofs.
What solved the problem for me was doing mathematics in a proof assistant. I use Coq, but Lean (which is more popular among mathematicians) works just as well for this purpose. To make a long story short, the proof assistant makes you justify every step in full rigor. There is no distinction between trivial and essential steps. You simply have to do every step. Doing math in a proof assistant gives you the confidence of knowing that, for sure, with 100% certainty, your proof is correct, and you did not skip any steps. (Logically, if you didn't skip any steps at all, then you certainly didn't skip any essential steps.) The foundation that this confidence provides allows you to learn and truly understand ZFC set theory.

InfluxDB
Build timeseriesbased applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build realtime applications for analytics, IoT and cloudnative services. Easy to start, it is available in the cloud or onpremises.