How far can LCM prove?
Answer: pretty much many!
Transfers from Reverse Mathematics to
Many theorems in Reverse Mathematics are
proved without or with very weak classical
reasoning, and we can transfer their proofs
nearly automatically into LCM-proofs.
Completeness theorem of the first
order predicate logic.
This is not an coincidence. Reverse math.
and LCM are deeply related. (Next slide)