Are there any good formal systems for doing maths?

I'm a programmer and the fact that maths do not have a unified formalized system with syntax and grammar macros bothers me.

Math is defined as being all points, belonging to ligature, from symbol conjugation class sets. No point can be relative. Each symbol conjugation class set, belonging to ligature, has an equivalent character. Each character is a restricted variable.
Is this the predicate of math?

Why is the average penis size and it's distribution so much different than the actual female preference? Shouldn't thousands of years of sexual selection already corrected this error?

Tfw organic chemistry is so easy that you finish early and browse /sci/ in between final exam sections

Is it better to be a scientist or an artist?

Im the science vision

Is machine learning research worth it? It seems like researchers are mostly doing a pointless tweak of a previous algorithm or technique to achieve an increase in 0.000001% performance.

> If you stretched the DNA in one cell all the way out, it would be about 2m long and all the DNA in all your cells put together would be about twice the diameter of the Solar System

Bullshit.

>guise guise /lit/ is so much better than sci
No it's not,let me explain

You need to understand that these people simply low IQ. They lived on a time of medical inneficiency, bad nutrition, and terrible educational system, even for the high class. While IQ is hereditary, you can depress it with inadequate conditions, and that was exactly the case for Kant and other philosophers. Kant was probably 89-91 IQ. It's why his text is convoluted and dry, he doesn't know how to express himself because his neurological structures are underdeveloped (thus his 89 IQ). He was also writing for an average of 78-82 IQ, which's why his text seems so innovative, compared to his contemporaries. But for a 100-120IQ educated man nowadays, his and most of the texts of the past, feels obvious and immediate, puerile, ridiculous even. Anyone who has 100IQ plus, has thought about things like "the thing in itself" and how it isn't really knowable; the division between sensory experience and mental apriori knowledge etc.
Disregard philosophy and go to STEM.
Do not trust the /lit/ faggots who tell you that /lit/ is better than ANY board,especially /sci/

What is the /sci/entific way to become a millionaire? Is it possible to take a scientific approach?