מהדר

למה אימות מכני הכרחי

לשפה טבעית אין מושג של משפט לא תקין