Dividing by zero
(⊬ (x / 0 ≠ 0)) ⊭ (⊢ (x / 0) = 0)
Tags: functional, math, logic