Théorème de Paris-harrington

concept

Propriétés