#mathematical logic magic #logical enchantment #magical proof #arcane axioms #fundamental magic laws #symbolic magic