<p>&quot;Predicative mathematics is a way of doing mathematics without allowing impredicative definitions.&quot; absolute banger from nlab right here</p>