What does Gödel's incompleteness theorem actually state?
Is Gödel's incompleteness theorem saying that there are statements in a consistent formal system that can neither be proved nor disproved?
מה בעצם קובע משפט אי השלמות של גדל?
האם משפט חוסר השלמות של גדל אומר שיש אמירות במערכת פורמלית עקבית שלא ניתן להוכיח ולא להפריך?