Axiom of reducibility (source code)

= Axiom of reducibility
{wiki=Axiom_of_reducibility}