לפני 7 שנים. 8 בינואר 2017 בשעה 19:01
המתימטיקאי קורט גדל (Kurt Goedel) הוכיח, שאם יש מערכת מתמטית, אשר ניתן להוכיח לגביה שאין בה סתירה - אז בהכרח יש בה סתירה.
הוא ידע משהו על אהבה.
משפטי האי-שלמות של גדל - ויקיפדיה
גדל, אשר, באך - ספר מדהים שמדבר גם על הנושא הזה