Tarski's mereology axioms

Added mereology axioms from Tarski’s original sources. Needs tweaking.
SNARK is still unable to find a proof.