
Template for proofs in Discrete and Argumentative Mathematics
Author
stanley
License
Creative Commons CC BY 4.0
Abstract
This is the template for DAM (discrete and argumentative mathematics).
We prove theorem $2.1$ using the method of proof by way of contradiction. This theorem states that for any set $A$, that in fact the empty set is a subset of $A$, that is $\emptyset \subset A$.