Comment by 082349872349872

starting to get a little clearer; was Gödel's proof inspired by Spinoza's? They both use many of the same mathematical tools...