# A calculus of the absurd

##### 19.1.2 A divides b
• Definition 19.1.2 We say $$a$$ divides $$b$$ if and only if $$b = qa + 0$$ (i.e. there is no remainder when we perform the division).