Post #1923712

@consequently My logic class was definitely like that: lots of key concepts followed by final ascent to incompleteness theorems. I guess maybe how advanced the class is rests on how hand-wavy that final ascent is?