Starting the Dismantling of Classical Mathematics

Abstract

This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.