משפט הייצוג של סטון
המשפט אומר שכל מערכת של כללי אמת ושקר דומה למערכת של קבוצות. אלגברה בוליאנית (מערכת של ו, או, לא) מתארת את הכללים האלה. איזומורפית, כלומר שני דברים עושים את אותו הדבר במבנה שונה. המשפט מאפשר להשתמש ברעיונות של קבוצות כדי להבין מערכות אלה. הוכח בשנת 1936 על ידי מרשל סטון....