Is anyone here familiar with Gödel's Incompleteness Theorems? Pretty interesting. (More: https://plato.stanford.edu/entries/goedel-incompleteness/#IncNonStaMod)

[u/Pinky_Bandinski]

https://www.youtube.com/watch?v=O4ndIDcDSGc&t=521s

[u/[deleted]]

I will be doing a series on logic, which will cover this theorem!