Teaching myself Mathematical Logic | self education log
just keep swimming
Discord and Telegram:
/ discord
https://t.me/+rdUvDU5pHw45ZTAx
keywords for algo:
set theory is a field that studies the relationship between some of the most basic and fundamental mathematical structures, and can be used as the basis for nearly all of modern mathematics. from the axioms for zermelo fraenkel set theory, we are able to, using a formal language and a system of logical deduction, arrive at a plethora of mathematical theories that one would think not possible due to the simplicity of the axioms.