לוגיקה / (2) מערכת הוכחה לתחשיב הפסוקים / (6) מקבוצה לא עקבית אפשר להוכיח הכל

_____________________________________ ד"ר שרי שינולד