Tag: axiomatic strength

Reverse Mathematics

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

Bossmind