13 רשומות מבנק FullProof. הגדרות ואקסיומות הן הנחות יסוד; שאר המשפטים נבנים מהן.
לצפייה בסרטון
אורך 8:21 דקות. בעמוד הצפייה לחיצה על משפט קופצת לחלק שלו.