StrictModus
StrictModus is a concept in formal logic and philosophy of mathematics that refers to a system of proof where only explicitly stated rules of inference can be used. This approach emphasizes a rigorous adherence to a predefined set of logical axioms and rules, leaving no room for implicit assumptions or intuitive leaps. The goal is to ensure that every step in a proof is demonstrably valid according to the established system.
This contrasts with more relaxed or informal proof styles that might rely on commonly understood logical principles
The development and use of strict modus are often associated with foundational research in mathematics and