Tag: second-order arithmetic

Reverse Mathematics

Reverse mathematics investigates the logical strength of mathematical theorems. It aims to…

Bossmind