His Arithmeticorum libri duo (1575) includes the first known proof by mathematical induction.
Το Arithmeticorum libri duo (1575) περιέχει την πρώτη γνωστή απόδειξη με τη μέθοδο της μαθηματικής επαγωγής.