constructive reverse mathematics

  1. REDIRECTreverse mathematics {{R with possibilities}}