MF198-199: Unique factorization and its difficulties (English)

The Unique Factorization Theorem is also called the Fundamental Theorem of Arithmetic: the existence and uniqueness of a prime factorization for a natural number n. It is a pillar of number theory, and goes back to Euclid. We want to have a look at the logical structure of this theorem.

https://www.youtube.com/watch?v=R11gOPc2MPc