Book "Set theory INC^# based on intuitionistic logic with restricted modus ponens rule"
Jaykov Foukzon · viXra · 2021
In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality