There's a point in the middle where he's building a foundation of formal systems that's a real slog. If you push through that, it gets progressively more intere

There's a point in the middle where he's building a foundation of formal systems that's a real slog. If you push through that, it gets progressively more interesting.