That increases the likelihood that they are right. > support your point with explanation or be ignored :-) Anyone who says "Godel theorems are for systems wit

That increases the likelihood that they are right. > support your point with explanation or be ignored :-) Anyone who says "Godel theorems are for systems with basic arithmetic, zfc doesn't include arithmetic, thus are not object of Godel theorems" and isn't joking warrants a permanent ignore. https://math.stackexchange.com/questions/1366560/why-does-g%C3%B6dels-first-incompleteness-theorem-apply-to-zfc https://math.stackexchange.com/questions/1366560/why-does-g%... https://math.stackexchange.com/questions/1090437/how-to-prove-that-g%C3%B6dels-incompleteness-theorems-apply-to-zfc/1090755#1090755 https://math.stackexchange.com/questions/1090437/how-to-prov...