Reverse mathematics (source code)

= Reverse mathematics
{wiki=Reverse_mathematics}