3 ms·Are you starting a proof of Gödel's incompleteness theorem?by tsoukase 5y agoAre you starting a proof of Gödel's incompleteness theorem?