How much formal logic is used in mathematical analysis?
What do I need to know before I begin to study formal logic?
כמה לוגיקה פורמלית משמשת בניתוח מתמטי?
מה אני צריך לדעת לפני שאני מתחיל ללמוד לוגיקה פורמלית?