Nicod's axiom (source code)

= Nicod's axiom
{wiki=Nicod's_axiom}