It takes a fair amount of work on top of "set theory and traditional mathematics" if you want to actually state a semantics for APL.