Abstract: Let H denote the set of objects which satisfy the property of hotness. We prove that Mims &isin H.
Let fH(x) be the predicate function defined by its domain H where H is the set of all hot things.
Theorem 1: fH(Mims) = true
(
Read more... )