#abstract math #abstract logic #symbols #theoretical #formalism