<p>Fine, unless that’s somehow related to how close discrete math comes to (care I say intuitive or “natural”) logic, because first-order logic as well as many intuitive and physical real-world things are surely about groups/sets of things and discrete entities, whereas something like an epsilon-delta proof for continuity is quite an advanced logical statement or “axiomatic requirement” to be honest.</p>