  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}


\pagestyle{fancy}
\begin{center}

  \huge{המחלקה למתמטיקה}\\[0.1\baselineskip]
  \Large{סמסטר 20--2019--ב}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[שם הקורס]
    תורת הקבוצות האכסיומתית 1

  \item[מספר קורס]
    \LRE{201‭.2‭.4281}

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://www.math.bgu.ac.il//he/teaching/spring2020/courses/axiomatic-set-theory-1}

  \item[מרצה אחראי]
    פרופ` מנחם קוג`מן,
    \nolinkurl{<kojman@bgu.ac.il>},
    חדר 111

\item[שעות קבלה]
  \url{https://www.math.bgu.ac.il/he/teaching/hours}
\end{description}

\section*{תקציר}

  \begin{RTL}
תורת הקבוצות האקסיומטית היא היסוד לכל המתמטיקה המודרנית, ולהבדיל מתורות מתמטיות אחרות, בהן ניתן להוכיח תכונות של עצמים מתמטיים, בתורת הקבוצות האקסיומטית אפשר להוכיח שאי-אפשר להוכיח דבר מה.

בקורס נכיר את יסודות התורה, נלמד עוד על סודרים ומונים, נבקר בעולם העשיר של קומבינטוריקה אינסופית, ובסוף נציג את שיטת הכפייה של כהן, ובאמצעותה נציג את הוכחת אי-התלות של השערת הרצף של קנטור, שזיכתה את כהן בפרס פילדס.
\end{RTL}


\section*{דרישות והרכב ציון הקורס\footnote{דרישות הקורס יכולות להשתנות במהלך השבועיים הראשונים של הסמסטר, ויש לשים לב להודעות באתר הקורס}}






\section*{נושאי לימוד}

\begin{itemize}
\item{} משפט השיקוף
\item{} משפט המיטוט של Mostowski
\item{} מוחלטות של נוסחאות
\item{} עולם הקבוצות הניתנות לבניה
\item{} כפיה
\item{} עקביות שלילת השערת הרצף
\item{} עקביות שלילת אכסיומת הבחירה
\end{itemize}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
