About Peano Axioms. 0 is considered to be a natural number in this video. Manim: https://github.com/3b1b/manim Blender: https://www.blender.org/
No download links available.
