מהי השיטה המרכזית ליצירת "הישר הממלא מרחב"?

פרדוקס ורידי על האינסוף. טענה שנראית שקרית, אך היא בעצם אמיתית. ע"פ הפילוסוף W. V. Quine אפשר לחלק את הפרדוקסים לכמה סוגים: Falsidical paradox - "הוכחות פגומות" לטענות מפתיעות, שהן בעצם שקריות. Veridical paradox - טענות שנראות שקריות, אבל בעצם אמתיות. Antinomy - טענות לוגיות שהן לא אמת ולא שקר, כי הן מובילות לסתירה פנימית. Dialetheia- טענות שהן גם אמת וגם שקר בו זמנית. (*לא הוגדר ע"י QUINE)