Is it possible to prove that pure logic can be given correct input and still produce illogical results?
How do you prove first order logic?
האם ניתן להוכיח שניתן לתת קלט נכון להיגיון טהור ועדיין לייצר תוצאות לא הגיוניות?
איך מוכיחים היגיון מסדר ראשון?