'математические истины допускают нечто вроде градации. Каждое из следующих трёх утверждений:
- 2 · 2 = 4,
- 17^14 > 31^11,
- 300! > 100^300
– истинно. Однако мы говорим: "Верно, как 2 · 2 = 4", но не говорим: "Верно, как 17^14 > 31^11" или "Верно, как 300! > 100^300".'