Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
'
5LAvCJ Z|ZEK
PlBID LBOIOU |UHOCI BDO |UHOCIS
Number and Mumbers
A|ain badiou
Trans|ated Dy HoDin Mackay
pOIty
IISt QuDlI8h0U IH I0HCh 8S Le Nombre cI |es ttombres lUItIOH8 Uu b0uIl
1V7.
hIS ng!ISh 0UItIOH ' 1O!Itj 1I08S, Z
10QIIHt0U IH Z
1OlItj 1I0SS
O IIUg0 btI00t
\8DDIIUg0 \Z 1 l1 l.
1OlItj 1t0SS
b NuIH btI00t
8lU0H 1 Z1 lb1
1!! IIghtS I0SCIV0U. lXC0Qt !OI th0 quOt8tIOH O! ShOIt Q88Sug0S !OI th0 QuIQO80
O! CIItICI8D uHU I0VI0V HO Q8It O! thIS QuD!iC8tiOH m8j D0 t0QIOUuC0U StOI0U
IH 8 I0tII0V8! 8jSt0D OI tI8H8DItt0U IH 8Hj !DIu OI Dj 8Hj D08HS, 0l0CtIOHIC,
DcCh8HICul QhOtOCOQjIHg I0COIUIHg OI Oth0IVI80, VIthOut th0 QIIOI Q0ImI88IOn
O! th0 QuDlISh0t.
lb-1: V-b--Z
lb-1: 7-b-7-7 |QD}
1 C8tu!Ogu0 t0CIU !OI thI8 DOOK I8 uV8I!8Dc !IOm lh0 IItI8h IDIuIj.
jQ080t IH 1.b OH 1Z Qt b8DOH
Dj b1 0St-S0t jQ0S0tt0I tU. OHg OHg
1IIHt0U 8HU DOuHU IH th0 lHIt0U btat08 Dj \UjS80j 1I0S8 lHC.
LOHIC 0V 8DQ8hII0
OI !uIth0I IH!OIDutIOH OH 1OlItj, VI8It OuI V0D8It0: VVV.QOlItj.CO.uK
hI8 DOOK I8 8uQQOIt0U Dj th0 I0HCh IHI8tIj !OI DI0IgH 1!!uII8, u8 QuIt D!
th0 uIg0SS QIOgt8DD0 h08U0U !OI th0 I0HCh lDD8S8j Iu LOHUOH Dj thc
lH8tItut IuH Q 8IS Uu 1OyauD0-\HI.
VVV.!I0HChDOOKH0V8.COD
I| 5u|dCdS
LOHtCHtS
Irons|otor's Pre[oce V
PUmDCt |USt C OU_t
LCHC3O_CS. |tC_C, LCUCkHU, C3HO,
L3HtOt J
1 LtCCk PUmDCt 3HU |OUCtH PUmDCt
1 |tC_C J
PUUtOH3 POtC OH 3 LOHtCmpOt3ty
LS3_C O |tC_C 1
LCUCkHU J
J C3HO
L3HtOt. `YC-LtUCtCU HCSS 3HU tC
LtUH3S J1
1 LOHCCptS. P3tUt3 |UtpCtCS J
t3HStVC |UtpCtCS J
d YOH PCUm3HH LtUH3S
oUCCCSSOH 3HU Lmt. C 1HhHtC
J hCCUttCHCC, Ot 1HUUCtOH d
|1 P3tUt3 YOC PUmDCtS
vi L\WLWb
LHtOO_y O PUmDCt. LChHtOH, LtUCt,
LUtS, ypCS
J2 C LOHCCpt O PUmDCt. PH CVCHt3
POmH3tOH JJ
POOITICMAL |CTES CM bETS CF LPOIMALS JJ1
J LRCtCHCC 3HU LtUCt O PUmDCtS JJb
J C LOHCCpt O oUD-PUmDCt JJ
JD LUtS. C |UHU3mCHt3 COtCm J
J C PUmDCtCSS CHC3HtmCHt O tC
3CC O PUmDCt Jbb
LpCt3tOH3 LmCHSOHS JJ
J P3tUt3 1HtCtUUC Jd
J P_CDt3 O PUmDCtS J
LOHCUSOH 2
J 1H LOHCUSOH. |tOm PUmDCt tO t3HS-CH_ 2JJ
Notes 2Jb
|ndex 2J
t3HS3tOtS |tC3CC
Al ai nadi ou' s NumoerandNumoers, hrstpubl i shedtwoyearsa|ter
his 8eing and cent, is |ar |rom being the speci al ist work its title
mightsuggest.| n|act,itrecapi tul ates and deepens 8eingandcent's
exp|osiono|the pretextsuponwhi chthe ' phi | osophyo|mathemati cs'
isreducedtoatheoretica| ghetto,andthei rki nshi ptothosereacti on-
ary modes o| thought thatsystematica| | y obscure the most pressing
questi ons |orcontemporary phi | osophy. Nei ther does Numoerand
Numoers ba|k atsuggesti ngthateventhegreateste||orts onthepart
o| number-theorists themse|ves have |a| |en short o| the proper|y
radicali mporto|thequesti ono|number. adi ou' sastoni shi nganal y-
sesinthehistorica|sectiono|thebookuncoverthei nextricab| ebond
between phi | osophi ca| assumpti onsandmathematical approachesto
the prob|em in these supposed|y ' mere|y techni ca| ' works. The ai m
o|NumberandNumoers, then, i scertai nl ynot tomou| dtheunwi | l -
i ngreaderi ntoaca| cu|atingmachi ne,ora ' phi | osophero|mathemat-
ics' . itsexhortationisthatwe( mathematici ans, phi | osophers, subj ects
under Capi ta| systematica| | y thi nk number out o| the techni ca| ,
procedural contai nment o| which its quoti di an tyranny, and the
abysma| |earitstri kes into the heart o|the non-mathematici an, are
but symptoms. Symptoms, needless to say, whose expressi on withi n
the situation o|phi | osophy i s a pronounced di staste |or number-as-
phi l osopheme- whenceitsrecogni sableabsencei nmuch' conti nenta|
phi | osophy' , exceptwhere it i s pi | |oried as the very nemesi s o|the
ontological vocati on. So i | the ' return o| the numeri ca| repressed'
proposedhere wi | | ,bydehni ti on, exciteasymptomaticresi stance,|or
viii PWbLP\`b LPLL
adi ouita| one canc| eartheway |or the propertask o| phi |osophy,
as a worki ng-through o| rhe mathematica| onro| ogy presented in
8eing and cett, Numoer and Numoers is a thorough conceptua|
apprenticeshi ppreparatory to thethi nki ngo|theevent.
For the greatthi nkers o| number-theory at the end o|the ni ne-
teenth century, the way to an onto|ogica| understanding o|number
was obscuredbyca| cu| atoryandoperationa| aspects. Today, accord-
ing to adi ou, the po| i ti ca| domi nation o|number undercapi ta| i sm
demands that the proj ect be taken up anew. on| y i |contemporary
phi | osophy rigorous| y thi nks through number can it hope to cut
tbrougb the apparent|y dense and i mpenetrab|e capi ta| i st |abric o|
numeri ca| re| ati ons, tothi nktheevent that can ' subtract'thesubj ect
|rom that ' onti c' skei n wi thout recourse to an anti-mathematica|
romantici sm.
Whi | stthi sdoubt|essdemands' onemoree||ort'ontheparto|the
non-mathematici an, itwou| dbeapeevi shstudento|phi |osophywho,
understanding the stakes and contemp|ating the conceptua| vista
opened up, saw thi s as an unreasonab|e demand - especi a| | y when
adi ou o||ers to those | acki ng in mathematica| know| edge the rare
pri vi |ege o|taki ng a meticu| ous| y navigated conceptua| shortcut to
the heart o| the matter.
adi ou' sremarkab| ebookcompri ses a numbero|di ||erentworks
- a radi ca| phi | osophi ca| treatise,a contri buti ontonumber-theory,a
document in thehi story o| mathematics, acongenia|textbookanda
subt| e and subversi ve exercise in po| i ti ca| theory - whose intricate
interdependenciesde|y anyorder o| priority. The trans|ator' stask i s
to reproduce, wi th a |oreign tongue, that uni que voice that can
compe| usto' countasone' thesedi sparatehgures. InnegotiatingthIs
cha| | enge, I have sought to pri ori ti se c| arity over adherence to any
rigid scheme o|trans| ati on, exceptwhere mathematica|termi no| ogy
demandsconsi stent usage, or where an orthodoxy isc| ear| y a| ready
i n|orcewi thi nextanttrans| ati onso|adi ou' swork. |nthe|attercase,
my re|erences have been O| iver Fe|tham' s | andmark trans|ation o|
8eingandcent,
'
wi thwhich| have soughttoharmonisekeyterms,
Peter Ha| | ward' s i nva| uab|e A Suoject to Trutb, and Ray rassier
and A| berto Toscano' sco| |ecti on o|adi ou' s Tbeoretica| writings.`
Apart |rom these, i n trans| ati ng chapters 2 and 3 I re|erred c| ose|y
toSamCi | |espi eand|ustinC| emens' trans|ationi nUMR a , Science
andTrutb (2OOO). Fi na| | y, whi | stseekinga| sotomai ntai nconti nuity
with | ong-standi ngEng| i shtrans| ati onso|number-rheoretica|works,
somec| assi cs in thei r own right, occasi ona| | y the rigouro|adi ou' s
thi nki ng has demanded a re-eva| uation o|thei r chosen trans| ations
|or key terms. ' Trans|ators a|so hnd themse|ves obIiged to arbitrate
PWbLP\`b LPLL ix
between a hde|ity to adiou' s in many ways admi rab| e i ndi ||erence
to the pedantic apparatus o| scho| ar| y citati on, and the temptation
to pin down thea| | usi onsandquotationsdistri butedthroughouthi s
work. adi ou' sse|ection o|texts is so di scerning, however,thatit i s
hard| ya choretoreturntothem. Havi ngthushad|requentrecourse
tothetextstouchedon i nNumoerandNumoers ( particu|ar| yi nthe
hrst,hi storica| part , Ihaveseennoreasonnottoaddcitationswhere
appropri ate.
One presumes that those se| |-consci ous styles o| phi | osophi ca|
writing that necessitate | aboured ci rcum| ocuti ons or termi no| ogi cal
preci osi tyontheparto|atrans| atorwou| d|or adi ou|a| | underthe
sign o|' modern sophistry' , taken to task herei n, ase| sewhere i n his
work. Neverthe|ess, the aspi ration to universa|conceptua| transpar-
encydoes not prec| ude consideration o|adi ou as sty| i st. hrst|y, as
O| iverFe|thamhasremarked, adiou' s sentences uti|ise subj ect/verb
orderi n a characteristic way, and I have retai ned hi s tensi | e syntax
wheneverdoingsodoesnotj eopardi secomprehensioni ntrans| ati on.
Perhaps j ust as i mportant| y, adi ou does not achieve the de|t and
good-humoured deve|opment o| such extreme| y rich and comp|ex
conceptua| structuresasare|oundinNumoerandNumoers wi thout
a generous and searching | abour on beha| | o| the reader, not to
mentionata|ent|orsuspense. A| thoughthe| atersecti onso|Numoer
andNumoersmayseemdaunting,Ihopetohavereproducedadi ou' s
conhdent, meticu| ous, butneverstu||y mode o|exposi ti on so as to
ease the way as much as possi b| e. In |act, in contrast to hi s own
occasi ona| | ychi||yedicts,| wou| dventuretosuggestthathere,' i nhis
e|ement' , adiou a| | ows hi mse| |a certai n enthusi asm. Onecertai n| y
doesnotaccompany hi m onthi s odyssey wi thout a| so deve| opi ng a
taste |or the ' bitter j oy' o| Number.
Thistrans|ations| ow| ycameto|rui ti ononthebasi so|asomewhat
i mpu| si ve deci si on, it may not have survi ved to comp| eti on wi thout
the enthusi asm and ai d o| an i nternati ona| | y di spersed group o|
|riends and acquaintances, actua| and vi rtua| , wi th whom I shared
theworkinprogress. I wou|d |ike toextendmythankstothosewho
he| ped by poi nti ng out errors and o||ering advice on the evo| vi ng
manuscript. Ani ndya hattacharyya, Ray rassier, Michae| Carr,
HowardCaygi | | , ThomasDuzer,Zachary L. Fraser,PeterHal | ward,
Arme||e Menard Seymour, Reza Negarestani , Robi n Newton, Ni na
Power, Manue| a Tecusan, A| berto Toscano, Kei th Ti | |ord, Davi d
Sneek, and Dami an Vea| . My thanks a| so to Al ai n adi ou |or hi s
generoushe| pandencouragement,andtotheInstitutionandSta||o|
the od| ei an, Tay| or Institution, and Radc| i ||e Science Li braries i n
Ox|ord. Parto|mywork on thetrans| ati onwas undertaken whi |st
W PWbLP\b LPLL
in recei pt o| a studentshi p|rom the Centre |or Research in Modern
European Phi | osophy at Mi dd|esex University, London.
Mygreatestdebto|gratitudei sto Ruth, withoutwhose| oveand
understandi ng my batt|es wi th i ncomprehensi on cou| d not even bc
staged, andtoDona| d, agreati nspi rati on, |orwhomthei nhnitej oys
o| numbersti l l l i e ahead.
Robi nMackay
0
lUHDCt |USt oC OU_t
O. I . A paradox. we | i ve in the era o| number' s despoti sm, thought
yie|dstothe| awo|denumerab|emu|ti p| ici ti es, andyet un| essperhaps
thi sveryde|au|t,thi s|ai | ing,i son| ytheobscureobverseo|aconcept-
|ess submi ssi on we have at our di sposa| no recent, active idea o|
whatnumberi s. Ani mmensee||orthasbeenmade onthis point, but
its | abours were essenti a| | y over by the begi nni ng o|the twentieth
century. theyare those o|Dedeki nd, Frege,Cantor, andPeano. The
|actua| i mpacto|numberon| yescorts a si |ence o|theconcept. How
can we grasp today the question posed by Dedeki nd i n hi s I SSS
treatise, was sind und uas so||en die Zab|en' We know very we| |
what numbers are |or. they serve, stri ct| y speaki ng, |or everything,
they provide a norm |or A| | . utwe sti | | don' t know what they are,
or else we repeat what the great thi nkers o| the |ate ni neteenth
century- anti ci pati ng,nodoubt,theextento|thei r|uturej uri sdi cti on
- sai dtheywere.
O. 2. Thatnumbermust ru|e, thatthe i mperative must be. ' count ! ' -
who doubts thi stoday? And not in the sense o| that maxi m whi ch,
as Dedeki nd knew, demands the use o| the ori gi na| Creek when
retraced. 6u v0pco 6pt0qx|rt - because it prescri bes, |or
thought,its si ngu| arconditionin the matheme. For,underthecurrent
empire o|number, it is nota question o|thought, buto|rea| iti es.
O. J. First|y, number governs our conception o| the po| i tica| , wi th
the currency - consensua| , though it en|eeb|es every po| i tics o|the
Z W\L \b L m\\Lm
thi nkab|e~ o|su||rage,o|opi nionpo| | s, o|themaj ority.Every' po| iti-
ca| ' convocati on,whethergenera| or| oca| , i npo| l i ng-boothorpar| ia-
ment, muni ci pa| or internati ona| , is sett|ed with a count. And every
opi ni on is gauged by the incessantenumeration o|the|ai th|u| even
i| such an enumerati on makes o| every hde| ity an i nhde| i ty . What
counts ~ in the sense o| what is va| ued ~ is that which is counted.
Converse| y, everythi ngthatcan benumbered must beva| ued. 'Po| iti-
cal Science' rehnes numbers into sub-numbers, compares sequences
o| numbers, its on| y obj ect being sbifts in cotingatterns ~ that is,
changes, usual l y mi nute, i n the tabul ati on o| numbers. Political
' thought' i s numeri ca| exegesi s.
O. 4. Number governs the quasi -tota| ity o| the ' human sciences'
although thi s euphemi sm can barel y di sgui se the |act that what is
ca| |ed ' science' here is a techni ca| apparatus whose pragmatic basis
i s governmenta| . Statistics i nvades the entire domai n o|these disci-
plInes. The bureaucrati sati on o|know| edges is above a|| an inhnite
excrescence o| numberi ng.
At the begi nni ng o|the twentieth century, soci ol ogy unvei |ed its
proper dignity~ its audacity, even ~ in the wi | l to submi t the hgure
o|communi tari anbondstonumber. |tsoughttoextendtothesocia|
body and to representati on the Ca| i l ean processes o| l itera| i sation
and mathematisati on. ut u|ti mate|y it succumbed to an anarchic
deve| opmento|thi senterpri se. Itisnowrepl etewith pi ti |u| enumera-
ti ons that serve on| y to va| i date the obvi ous or to estab| i sh par|ia-
mentary opportuni ti es.
History has drawn massi vel y upon stati sti ca| techni que and is ~
even, in |act above al l , under the auspices o| academic Marxism ~
becoming a di achroni c soci o| ogy. lt has lost that whi ch alone had
characterised it, si ncethe Creek and Latin hi stori ans, as a discipline
o|thought. its conscious subordi nati on to the real o|pol i tics. Even
when i tpassesthrough the di ||erent phases o|reaction to number~
economi sm, soci ol ogi sm ~ it does so on| y to |a| | into thei r si mp|e
i nverse. bi ography, hi stori ci si ng psycho| ogi sm.
Andmedicineitse||, apart|romi tspure andsi mp| ereductiontoits
scientihc Other mo| ecul ar bio|ogy , is a disorder|y accumu| ation o|
empi ri cal |acts, a huge web o|b| i nd| ytestednumerica| corre|ations.
These are ' sciences' o|men made into numoers, to thesaturation
poi nt o| a| | possi b|e correspondences between these numbers and
otbernumoers, whatever they might be.
O. 5. Number governs cu|tura| representati ons. O| course, there is
televi si on, vi ewi ng hgures, adverti si ng. ut that's not the most
W\L \b L m\\Lm J
important thi ng. |t is in its very essence that the cultural |abric is
woven by number alone. A ' cul tural |act' i s a numeri cal |act. And,
conversely,whateverproducesnumbercanbecul tural l yl ocated,that
whichhasnonumberwi l l havenonameeither. Art, whi chdeal swi th
numberonl yinso|arastherei sa tbinkingo|number,i sacultural l y
unpronounceableword.
O. 6. Obvi ousl y, numbergoverns theeconomy, and there, without a
doubt,wehndwhatLoui sAl thusserwoul dhave cal l edthe'determi -
nati oninthel astinstance' o|i tssupremacy. Theideologyo|modern
parl i amentary societies, i| they have one, is not humani sm, law, or
thesubj ect. Iti snumber,thecountabl e, countabi l ity. Everycitizen is
expectedto becogni santo||oreigntrade hgures, o|theHexi bi l ity o|
the exchange rate, o|Huctuations in stock pri ces. These hgures are
presented as the real to whi ch other hgures re|er. governmental
hgures,votesandopi ni on pol l s. Ourso-cal led' si tuati on' i sthei nter-
section o| economi c numeri cal ity and the numeri cal ity o| opi ni on.
|rance oranyothernati on canonl yberepresentedonthebal ance-
sheeto|an i mport~export business. The onl y image o|a country i s
thi si nextricabl eheapo|numbersi nwhi ch, we are tol d, itspoweri s
vested,andwhi ch, we hope, i sdeemedworthybythose whorecord
its mood.
O. 7. Number i n|orms our souls. What i s it to exist, i |notto give a
facourao|eaccounto|onesel |? In America,onestarts by sayinghow
much one earns, an i dentihcation that i s at l east honest. Our ol d
country ismorecunni ng. ut sti l | , youdon' thaveto l ook |ar to di s-
cover numerical topi csthateveryone can identi|y wi th. No onecan
presentthemselvesasani ndi vi dual wi thoutstatingi nwhatwaythey
count, |orwhom or |or whatthey are real l ycounted. Oursoul has
thecol dtransparency o|the hgures i nwhi ch it i s resol ved.
O. 8. Marx. 'the icy watero|egoti sti cal cal cul ati on' .
,
And how! To
the point where the Ego o| egoism is but a numeri cal web, so that
the 'egoti sticalcal cul ati on' becomesthe cipher o|a ci pher.
O. 9. utwe don' tknowwhata number i s, sowe don' t knowwhat
weare.
O. IO. MustwestopwithFrege,Dedeki nd, CantororPeano? Hasn' t
anything baened in the thi nki ng o| number? Is there onl y the
exorbitant extent o| its soci al and subj ective reign? And what sort
o|innocentcu|aoi|ity can be attri buted tothese thi nkers ? To what
4 W\L \b L m\\Lm
extent does thei r i dea o| number prehgure thi s anarchic reign? Did
they think number, or the |uture o|general i sed numerical ity? |sn' t
anotber idea o| number necessary, i n order |or us to turn thought
backagai nstthedespoti smo|number,inorderthattheSubj ectmight
be subtracted |romit ? Andhasmathematicssi mpl ystoodbysi lently
during the comprehensi ve soci al i ntegration o|number, over which
it|ormer|y had monopol y? This is what | wish to exami ne.
|
LCHC3O_CS. |tC_C, LCUCKHU,
|C3HO, L3HtOt
|
LtCCK lUHDCt 3HU
|OUCtH lUHDCt
I . I . The Creekthi nkerso|numberre|ateditbacktotheOne,whi ch,
aswecan sti | | seein Euc| i d' s|ements, was considered notto bea
number. |romthesupra-numeric being o| the One, uni ty is derived.
And a number is a co| lecti on o| uni ts, an addi ti on. Underl yi ng thi s
conception i sa prob|ematicthatstretches |romthe E|eaticsthrough
totheNeop|atonists. thato|theprocessi ono|the Mu| ti p| e|romthe
One. Number i sthe schema o|thi s processi on.
I . 2. Themodernco| | apseo|theCreekthi nki ng o|numberproceeds
|romthree |undamenta|causes.
Thehrstisthei rrupti ono|theprob| emo|thei nhni te~ i ne| uctab|e
|rom the moment when, with di ||erenti al ca| cu| us, we deal with
the rea| ity o| series o| numbers which, a|though we may consider
their | imit, cannot be assigned any termi nus. How can the | i mit o|
such a series be thought as numoer through the so| e concept o|
a co| |ecti on o| units ? A seri es tends towards a | i mit. it i s not the
addi ti ono|itstermsoritsuni ts. Itcannotbethoughtasa processi on
o|theOne.
The second cause is that, i |the enti re edi hce o| number i s sup-
ported by the being o| the One, whi ch i s itse| | beyond being, it is
i mpossi b| etointroduce,wi thoutsomeradi ca| subversi on, thatotber
pri nci pl e
=
thatontologica|stoppi ngpointo|number~ whi chiszero,
or the void. It cou| d be, certai n| y ~ and Neop| atoni st specu| ati on
appea|s to such a thesi s~ that the i ne||ab| e and archi -transcendent
character o|the One can be marked by zero. utthen the prob| em
8 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
comes back to numeri ca| one. how to numoerunity, i|the One that
supports it is voi d? Thisprob| em is so comp|exthat, as wesha| | see,
it remai nstoday the key to a modern thi nki ng o| number.
Thethi rd reason, andthemostcontemporaryone,i sthepureand
si mp| edi s| ocati ono|thei deao|abeingo|theOne. Wehndourse| ves
underthe j uri sdiction o| an epoch thatoo|iges usto ho| dthatbeing
is essenti a| | y mu|ti p| e. Consequent| y, number cannot proceed |rom
the supposit ion o| a transcendent being o| the One.
I . J. The modern thi nkingo|numberthus |ound itse| |compe| |edto
|orge a mathematicssubtracted |romthi ssupposi ti on. In so doing, it
took three di ||erent paths.
|rege' s approach, and that o| Russe| | which we wi | l ca| | , |or
brevity,the| ogi ci stapproach , seeksto 'extract'number|romapure
considerationo|the| awso|thoughtitse| |. Number,accordingtothis
poi nt o| view, is a uni versa| trait
,
oftbe concet, deducib|e |rom
abso| ute| y origi na| pri nci p| es pri nci p| es without which thought in
genera| wou| d be i mpossi b|e .
Peano' s and Hi | bert' s approach |et' s ca| | thi s the |orma| i st
approach construes the numerica| he| d as an operati ona| held, on
thebasi s o| certai n si ngu| araxi oms. Thi stime, number occupiesno
parti cu| ar posi ti on as regards the l aws o| thought. |t is a system o|
ru| e-goveined operations, specihed in Peano' s axi oms by way o| a
trans| uci d notati ona| practice, enti re| y transparent to the materia|
gaze. The space o|numeri ca| signs is si mp| ythe most ' originary' o|
mathemati cs proper preceded on| y by pure| y | ogica| ca| cu|ations .
Wemi ghtsaythatheretheconcept o|numberis enti re|y mathema-
tised, i n the sense that it is conceived as existing on|y i n the course
o| its usage. theessence o| number is ca| cu|ation.
The approach o|Dedeki ndandCantor,andthen o|Zerme|o,von
Neumann andCde| which we sha| | ca| | the set-theoretica| or 'p|a-
tonising' approach determi nes number as a particu| ar case o|the
hi erarchyo|sets. The|u| crum, abso| ute|yantecedenttoa| | construc-
ti on, is the empty set, and ' at the other end' , so to speak, nothing
preventstheexami nati ono|i nhnitenumbers. Theconcepto|number
isthusre|erred backtoanonto|ogyo|thepuremu| ti p| e, whosegreat
Ideas are thec| assi ca| axi oms o|settheory. In thi scontext, ' bei ng a
number' is a articu|ar redicate, the deci si on to consider as such
certai nc| asseso|sets theordi na| s, orthecardi nal s, orthee|ements
o|theconti nuum, etc. withcertai ndi sti ncti veproperties. Theessence
o|numberi sthat iti sa pure mul ti p| eendowed with certai nproper-
ties re|ating to its i nterna| order. Number is, be|ore being made
avai | ab|e |or ca| cu| ati on operati ons wi | | be dehned ' on' sets o|
LLLF W\L PWL \LLW W\L
pre-existingnumbers . Herewe are dea| i ngwithan onto| ogi sati ono|
number.
I . 4. Myown approach wi|| be as |o| |ows.
a The|ogicistperspectivemustbeabandoned|orreasonso|i nter-
na| consistency. it cannot sati s|y the requi rements o|thought,
andespeci a| |y o|phi |osophi ca| thought.
b The axiomatic, oroperati ona| , thesi s is the thesi s most ' prone'
to the i deo| ogi ca| soci a| i sati on o|number. it ci rcumscri bes the
question o|a thi nking o|numberas sucb withi n an u|timate|y
tecbnica|proj ect.
c Theset-theoretica| thesisi sthestrongest.Evenso, wemustdraw
|armoreradi ca| consequencesthanthosethathaveprevai |edup
to the present. Thi s book tri es to |o| l ow the thread o| these
consequences.
I. 5. Whence my p| an. To exami ne the theses o| |rege, Dedeki nd
andPeano. Toestab| i shmyse| |wi thi ntheset-theoretica| concepti on.
To radica| i se it. To demonstrate a most i mportant poi nt that
i n the |ramework o| thi s radica| i sation we wi | | rediscover a|so
but not on| y ' our' |ami | i ar numbers. who| e numbers, rationa|
numbers, rea| numbers, a| | , hna| | y, thought outside o| ordi nary
operati onal mani pu| ati ons, as subspecies o| a unique concept o|
number, itse| |statutori | y inscri bed wi thi n the onto|ogy o|the pure
mu|ti p| e.
I . 6. Mathemati cs has a| ready proposed thi s rei nterpretati on, as
mi ghtbe expected, but on|y in a recessivecornero| itse| |, b| i ndto
theessenceo|itsownthought.thetheoryo|surrea|numbers,i nvented
at the begi nni ng o|the I7Os by |. H. Conway ( On Numbers and
Cames, I76),` taken up hrst|y by D. E. Knuth (Surrea| Numbers,
I74),'andthenbyHarryConshori nhi scanoni ca| book( AnIntro-
duction to tbe Tbeory ofSurrea| Numbers, I86).` Any i nterest we
mighthave in thetechni ca| detai | s o| thi stheorywi | | behere strict|y
subordi natedtothematteri nhand. estab| i shi ngathi nkingo|number
that, byhxi ngthe |atter' s status as a |orm o|the thi nki ng o|eing,
can|ree us|romi tsu|hcient|y|oranevent,a| waystrans-numeric,to
summon us, whether thi s event be po| i tica| , artistic, scientihc or
amorous. Li miting the g| ory o| number to the i mportant, but not
exc| usive,g|ory o|eing, andtherebydemonstratingthat what pro-
ceeds|romaneventi ntermso|truth-hde|itycanneverbe,hasnever
been,counted.
0 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
I . 7. None o| the modern thi nkers o| number I understand by thi s,
I repeat, those who, between o| zano and Cde| , tri ed to pi n
down the idea o| number at the j uncture o| phi | osophy and the
| ogico-mathematica| have been ab| e to o||er a unied concept
o| number. Customari | y we speak o| ' number' with respect to
natura| who| e numbers, ' re|ative' posi ti ve and negative who|e
numbers, rationa| numbers the ' |racti ons' , rea| numbers those
that number the | i near continuum and, hna| | y, comp| ex numbers
and quaterni ons. We a|so speak o| number i n a more di rect|y set-
theoretica| sense when designating types o| we|| -orderedness the
ordi na| s and pure quantiti es o|any mu|ti p| e whatsoever, inc| uding
i nhnite quantities the cardi na|s . We might expect that a concept
o| number wou| d subsume a|| o| these cases, or at |east the more
' c| assi ca| ' amongthem,thatis tosay, thewho| enatura| numbersthe
mostobvious schemao|di screte' stepwi se' enumerati on andtherea|
numbers the schema o| the conti nuum . ut thi s is not at a| |
thecase.
I . 8. The Creeks c| ear| y reserved the concept o| number |or who|e
numbers, which was quite i n keepi ng with thei r concepti on o|the
composi ti on o|number on the basis o|the One, since on| y natura|
who|e numberscanberepresentedasco| |ectionso|units. Totreato|
the conti nuum, they used geometrica| denominati ons, such as the
re| ati ons between si zes or measurements. So thei r power|u| concep-
ti onwasmarkedthroughandthroughbythatdivisiono|mathemati-
ca| di sci p| ines on the basis o|whethertheytreato|oneortheother
o| what were he| d by the Creeks to be the two possib|e types o|
obj ect. numbers |rom which arithmetic proceeds andhgures |rom
whi ch, geometry . Thi s di vi si on re|ers, i t seems to me, to the two
orientations whose unity is di a|ectica| | y e||ectuated by e||ecti ve,
or materi a| i st, thought. the a|gebraic orientati on, whi ch works by
composi ng, connecting, combi ni ng e|ements, and the topo|ogica|
orientation, which works by perceiving proximities, contours and
approxi mati ons, and whose poi nt o| departure i s not e|ementary
be|ongi ngs but i nc| usi on, the part, the subset. This di vi si on is sti | |
we| | -|ounded. Wi thi n the di sci p| i ne o| mathematics itse| |, the two
maj or di vi si ons o| ourbaki ' s great treati se, once the genera| onto-
|ogica| |rameworko|settheory i ssetout,dea| with ' a|gebraicstruc-
tures' and'topo| ogi ca| structures' . Andtheva| idityo|thisarrangement
subtends a| | di a|ecti ca| thought.
I . 9. It i s neverthe| ess c| earthat, ever si nce the seventeenth century,
it has no |onger been possi b|e to p| ace any su|hcient|y sophi sticated
LLLF W\L PWL \LLW W\L | |
mathemati ca| conceptexc| usi ve| yononesideoftbeoositionaritb-
metic/geometry. The trip|e cha| |enge o|the i nhni te, o| zero and o|
thetermination o|the idea o|the One disperses theidea o|number,
shreds it into a rehned di a| ectic o|geometry and arithmetic, o|the
topo|ogica| andthe a|gebraic. Cartesi an ana|ytic geometry radica| |y
subverts the di stinction |rom the very outset, and what we know
todayas ' number-theory' hadtoca| | on themostcomp| exresources
o| 'geometry' , i n the extreme|y broad sense i n which the | atter has
beenunderstoodinrecentdecades. Modernsthere|orecanno| onger
accept the concept o| number as the obj ect whose provenance is
|oundationa| the idea o|the One and whose domai n i s prescri bed
( arithmetic . ' Number' i s said i n many senses. ut which o| these
senses constitutes a concept, a| | owi ng somethi ng si ngu| ar to be
proposedto thought underthis name?
I . IO. The response to thi s questi on, in the work o| the thi nkers I
havementioned, is a|together ambi guousandexhi bits no unani mity
whatsoever. Dedeki nd,|orexamp| e,can|egitimate|ybenamedasthe
hrstoneto have, with thenotiono|thecut, convi nci ng| y'generated'
therea| numbers|romtherati ona| s. 'utwhenheposesthequesti on.
'What are numbers ? ' he responds wi tha genera| theory o|ordi na| s
whi chcertai n| y, asa particu| arcase, mi ght|oundthestatuso|who| e
numbers, butwhichcannotbe app| ieddi rect| yto rea| numbers. ''| n
whi ch case, what gives us the right to say that rea| numbers are
' numbers ' ? Si mi | ar| y, in TbeFoundationsofAritbmetic |regeo||ers
a penetratingcritiqueo|a| | previousdehni ti ons i nc| udi ngtheCreek
dehnition o|number as a ' set o|uni ts' '
,
and proposes a concept o|
'cardi na| number' that i n e||ect subsumes ~ on the basis o|certain
arguab|epremises,towhi chI sha|| |aterreturn~ cardina|s i ntheset-
theoretica|sense,o|whi chnatura| who| enumbersrepresentthehnite
case. ut at the same ti me he exc| udes ordina| s, to say nothi ng o|
rationa| numbers, rea| numbers orcomp| ex numbers. To use one o|
his |avourite expressi ons, such numbers do not ' |a| | under the
||regean]concept' o|number. Fi na| | y, itisc| earthat Peano' saxi om-
ati cdehneswho| enumbersandthema| one,asaru|e-governedopera-
tiona|domai n. Rea|numberscancertai n| ybedehneddi rect|ywi tha
speci a| axiomatic that o| a comp|ete, tota| | y ordered Archi medean
he|d . ut, i |the essence o|' number' resides i n the speci hcity o|the
statementsconstitutingtheseaxi omatics,then,giventhatthesestate-
ments are entire|y di ssi mi | ar i n the case o| the axi omatic o|who| e
numbers ando|thato|rea| numbers, i twou| dseemthat, i n respect
o| their concept, who|e numbers and rea| numbers have nothi ng
in common.
| Z LLWLPL\L1Lb. LLL, LLLLF1WL, LP W\, LPW\
I . I I . It is as i |, cha| | engedto propose a concept o|numberthatcan
endure the modern ordea| o|the de|ection o|the One, ourthi nkers
reserve the concept |or one o| its ' i ncarnati ons' ordi na| , cardi na| ,
who| e, rea| . . . , wi thout bei ngab| e to account |or the |actthatthe
idea and the word ' number' are used |or a|| o| these cases. More
parti cu| ar| y, they prove i ncapab| e o| dehning any uni hed approach,
anycommonground, |ordiscretenumerati on who|enumbers , con-
ti nuous numeration rea| numbers and 'genera| ' , or set-theoretica|,
numeration ordina| s and cardina| s . And yet it was precise|y the
prob|em o|theconti nuum, thedia|ectic o|the discrete andthe con-
ti nuous, which, saturating and subverting the ancient opposition
betweenari thmetic andgeometry,compe| |ed themoderns torethink
the idea o|number. In thi ssense thei rwork,admi rab| eas it i s inso
many ways, is a |ai | ure.
I . I2. The anarchythus engendered andI cannottakethi s anarchy
to be i nnocent o|the unthi nki ng despotism o|number i s so much
the greater i n so |ar as the methods put to work in each case are
tota| | ydi sparate.
a Natura| who| e numberscanbedetermined either bymeans o|
a speci a| axi omati c,atwhosehearti sthepri nci p| eo|recurrence
Peano , orbymeans o|a particu| ar hnite case o|a theory o|
ordi na| s, i nwhi chthepri nci p| eo|recurrencebecomesatheorem
Dedeki nd .
b To engender negative numbers, a|gebraic mani pu| ati ons must
be i ntroduced that do not bear on the ' bei ng' o| number, but
onitsoperati onal arrangement,onstructures symmetricisation
o|additi on .
c Thesemani pu| ati onscanberepeatedt oobtainrationa| numbers
symmetrici sati on o|mul ti p| icati on .
d On| ya|undamenta|rupture,markedthi stimebyashi |ttowards
thetopo| ogica| , can|oundthepassageto rea|numbers consid-
erationo|i nhnites ubsetso|theseto|rati ona| s, cutsorCauchy
sequences .
e Wereturntoa|gebratoconstructthehe| do|comp|exnumbers
a|gebrai c c| osure o| the Rea| |ie|d, adj unction o| the ' i dea| '
el ementi v,ordi rectoperati ona| axi omatisation on pai rs
o| rea| numbers .
| Ordi na| s are i ntroduced through the consi deration o| types o|
order Cantor , orthrough theuseo|theconcepto|transitivity
von Neumann .
LLLF W\L PWL \LLW W\L J
g Thecardi na| sare treatedthrough a tota| l ydi ||erent procedure,
thato|bi uni vocalcorrespondence. '
0a zeta Dedeki nd abhors the voi d and its mark, and says soquite
expl i ci tl y. '|W]e intendherc|orcertai nreasonswhol l ytoexcludethe
empty system which contains no elements at al l . '
And,correlativel y, Dedeki nd
|al l s back without hesi tati on on the idea o| an absol ute AH
o|
thought,ani deathatcoul dnotappearassuchin |rege' s|ormal i sm.
' Myownreal mo|thoughts,i . e. thetotal i tySo|al l things,whi chcan
beobj ects o|mythought, isi nhni te. '
,
'Thusweseethat,i nretai ni ng
the rights o| the One, the Al l is supposed, because the A| l is that
which, necessari | y, roceeds from tbe One, oncetheOne is.
I . I 7. Thesedivergenceso|orderare nomeretechnical matter. They
relate, |or each o|these thi nkers, to the respective centre o|gravity
o|theirconceptiono|numberand~ aswe shal l see~ tothesi mu| ta-
neousstoppi ngpoi ntand|oundi ngpoi nto|thei rthought.theinhnite
and exi stence |or Dedeki nd, zero andtheconcept |or |rege.
I . I 8. The passage to a secondmodernityo|the thi nki ngo|number
obl iges thought to retuto zero, to the i nhnite and to the One. A
LLLF W\L PWL \LLW W\L 5
tota| di ssi pation o|the One, an onto| ogi cal deci si on as to the being
o|thevoid andthat which marks it, a l avi shi ng without measure o|
innities. sucharetheparameterso|sucha passage. Unbi ndi ng|rom
theOnedel i versustotheunicityo|thevoidandtothedi ssemi nation
o|the i nhnite.
Z
|tC_C
2. I . |rege
andtheextensi ono|C, .
It is c| earthat|rege |avoursa ' cardi nal ' dehnition o|number,that
heisnotoverlyconcernedwiththestructura| ordero|thatwhich|al l s
under the concept. And in |act thi s essential tool o| bi uni vocity i s
characteristico|al l attemptsto' number' themu| ti p| ei nitse| |,thepure
mu| tip| esubtracted|roma| | structura| consi derations. Tosaythattwo
conceptsareequi numerateistosaythattheyhavethe'samequantity' ,
that thei r extensions are the same size, abstracting |rom any con-
sideration asto whatthe obj ectsarethat |a| l underthoseconcepts.
2. 4. Number consi sts in marking equi numeracy, the quantitative
identity o| concepts. Whence the |amous dehni ti on. 'The number
whichbelongstotheconceptC i stheextensi ono|theconceptequi -
numerate toconcept C. ' ` Whi ch means. everyconceptC generates
a number
=
namely, the set o|concepts equi numerate to C, havi ng
the 'samepure quantity' , thesamequanti ty o|extensi on, as C. Note
that a number, grasped in its being, a| ways designates a set ofcon-
cets, name| y a| l those thatsati s|y thestatement' i s a concept equi-
numerate to C' .
2. 5. The concept o| number i s constructed through the |ol l owi ng
progressi on.
Concept Truth Obj ects that |al l under the concept that
satis|y the statement attri buting the concept to the obj ect
Extension o| theconcept al | truth-cases o| the concept Equi -
numeracyo|twoconcepts vi abi univoca| correspondenceo|thei r
extensi ons Concepts that |al | under the concept o| equi nu-
me racytoagi venconceptC thatsati s|y thestatement' i sequi nu-
meratetoC' Theextensi on o|equi numeracy-to-C theset o|
concepts |rom the precedi ng stage The number that be| ongs
to concept C number i s thus the name |or the extensi on o|
equi numeracy-to-C .
|rom a si mp| i hed and operati onal poi nt o| view, i t cou| d a| so
besai dthat, starting |rom theconcept, weare able topassthrough
the obj ect on condition that there i s truth, that we then compare
concepts, and that number names a set o| concepts that have in
common a property made possi bl e and dehned by thi s comparison
equi numeracy .
8 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
2.6. To rediscover the ' ordi nary' , |ami | iar numbers on the basis o|
thi s pure conceptua| i sm regu| ated by truth a| one, |rege beginswith
his admi rab| ededuction o|zero. zeroi sthenumberbe|ongingtothe
concept' noti denti cal toitsel |' . Si nceeveryobj ectisidentica|toitsel |,
the extensi on o| the concept ' not identica| to itse| |' is empty. It
|ol l owsthatzero is the set o|conceptswhoseextensi on is emptyand
whi ch, by vi rtue o| thi s, are equi numerate to the concept 'not
identical to itse| |' . Whi ch is preci sel yto saythatzero i sthatnumber
be| ongi ngto eceryconcept whose extensi on is empty, i szero.
I have i ndicated in I . I 7thepassageto thenumber I: 'One' i sthe
numberthat be| ongs totheconcept' i dentica| tozero
'
. Iti sinterest-
ing to note that |rege emphasises, with regard to I, that it has no
' intuiti ve' or empirica| pri vi lege, any more than it is a transcendent
|oundati on. 'Thedehni ti ono|Idoesnotpresuppose,|oritsobj ective
|egitImacy,any mattero|observed|act.
'
Therecanbenodoubtthat
|rege parti ci pates i n the great modern process o|the destitution o|
the One.
Theengenderingo|thesequenceo|numbersbeyond Iposesonly
techni ca| probl ems, which are reso| ved, in passi ng|romn to M + I ,
by constructing between theextensi onso | correspondingconcepts a
corre| ati onsuchthatthe' remai nder' is exactly I~ whichhasa| ready
been dehned.
2. 7. Thus thededuction o|numberasa consequenceo|theconcept
appears to have been accompl i shed. More exactly. |rom the triplet
concept/truth/obj ect, and |romthesi ngl e|orma| operatoro|bi uni vo-
ca| correspondence,numberemergesasan instanceo|pure thought,
or an i ntegra| |y |ogica| producti on, thought must presuppose itse| |,
in the |orm o|aconceptsuscetib|etohavingtruth-cases andthere-
|ore endowed with an extensi on . In so doi ng, thought presupposes
number.
2. 8. Why choose particu| ar|y the concept ' not identica| to itse||' to
ground zero? Any conceptcou| d be chosen so long as one is sure it
has an empty extensi on, that no thi nkab| e obj ect coul d have the
property itdesignates. |orexampl e' squareci rc| e' ~ a conceptwhich
i n |act |rege dec| ares is ' not so b|ack as jit is] pai nted
'
. ' Si nce we
seek an entire|y conceptual determi nation o| number, the arbitrary
natureo|thischoiceo|concepti sa | i tt|eembarrassing. |regei squite
aware o|thi s, si nce he writes. 'I cou| dhaveused|or the dehnitiono|
nought any other concept under whi ch no obj ect |a| | s. `
:
ut, to
obvi ate his own obj ecti on, he i nvokes Lei bni z. thePri nci pl eo||den-
tity, which says thateveryobj ect i s identica| to itse| |, hasthe merit
LLL
o|being ' pure| y |ogica| ' .
Pure|y | ogica| ? utwe understood that it
wasa mattero||egitimating | ogico-mathemati ca| categories speci h-
ca| |y, number on the so| e basi s o|the | aws o| pure thought. Isn' t
there a ri sk o| ci rcu| arity i | a | ogi ca| ru| e is requi red ri ght at the
outset ?Now, equa| ityi soneo|the| ogica| , oroperati ona| , predicates
thatrequi regrounding name| y, equa| itybetweennumbers . |tmight
be sai d, o|course, that ' i dentica| to itse| |' shou| d not be con|used
with 'equa| to itse| |' . ut i |' i dentity' must here i ndeed be care|u| | y
di stinguished|romthe| ogi ca| predicate o|equa| i ty, iti sneverthe| ess
equa| | yc| earthatthe statement ' everyobj ect is i dentica| to i tse| |' i s
nota ' pure| y|ogica| ' statement. Itisanonto-|ogica|statement.And,
quaonto|ogi ca| statement,itisi mmediate| ydi sputab| e. noHege| i an,
|or examp| e, wou| d admi tthe uni versa| va| idity o|the pri nci p| e o|
identity.|orourhypotheti ca| Hege| i an, theextensi ono|theconcept
' not identica| to itse| |' is anythi ng butempty!
2. 9. The pure| y a priori determi nati on o| a concept certain to have
an empty extensi on is an i mpossi b| e task wi thout power|u| pri or
onto| ogica| axi oms. The i mpassethat|rege meets here i s thato|an
uncheckeddoctrineoftbeobject. |or,|romthe poi nt o|viewo|the
pure concept, what is an ' obj ect' in genera| , any obj ect whatsoever,
taken |rom the tota| Universe o| obj ects ? And why i s the obj ect
requi redtobeidentica|toitse| |,whentheconcepti snotevenrequi red
to be non-contradictory in order to be | egi ti mate, as i ndicated
by |rege' s positive regard |or concepts o| the ' square ci rc| e' type,
which, he stresses, are concepts | i ke any other? Why wou| d the
|aw o| the being o| obj ects be more stringent than the | aw o| the
being o|concepts ? Doubt|ess it wou|d be so ifone uere to accet
Leibnizian onto|ogy, |or whi ch exi stent obj ects obey an otber
rinci|e than do thi nkab| e obj ects, the Pri nci p| e o| Su|hcient
Reason. It thus appears that the deduction o|number on the basis
o|the concept i s not so much universa| , or ' pure| y | ogica| ' , as it is
Lei bnizi an.
2. IO. To positas se| |-evidentthattheextensi on o|a concepti sthi s
orthat |orexamp| e, thattheextensi ono|theconcept' notidentica|
to itse| |' is empty i s tantamount to supposi ng that we can move
unprob|ematica| | y|romconcepttoexi stence,giventhattheextensi on
o|aconceptbri ngsi ntop| aythe' obj ects 'that|a| | underthi sconcept.
Agenera| isedonto| ogica|argumentisatworkhere,anditi sthi svery
argumentthatsubtendsthededuction o|numberonthe basi so|the
concepta| one. numberbe|ongstotheconcepttbrougbtbemediation
oftbe tbinkab|eobjects tbatfa||under tbe concet.
Z0 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
2. I I . The pri nci pal thought-content o| ussel l ' s paradox, com-
municated to Frege i n I03, is its undermi ni ng o|every pretensi on
to l egi sl ate over existence on the basi s o| the concept al one, and
especi al l y over the exi stence o| the extensi on o| concepts. Russell
presentsa concept in Frege' ssense ~ theconcept'to bea setthatis
not an element o| itsel|' ~ whi ch i s surel y a wholly proper concept
more so, truth be told, than ' not identical to itsel|' , but one none-
theless uboseextensiondoesnotexist. Itisactual l ycontradictoryto
suppose that ' obj ects' ~ i n this i nstance, sets ~ that ' |al l under this
concept'themselves|orma set. '
,
It consi sts in
sayi ng that we can concl ude |rom the concept the exi stence o| its
extensi ononcondition tbatueoerateuitbinana|readygicenexis-
tence. Ci ven a concept C and a domain ofexisting objects, we can
say that there exi sts, in tbis existing domain, the set o|obj ects that
|al l underthi sconcept~ i . e. theextensi ono|theconcept.Obvi ousl y,
thi s extensi on is rel ati veto a domai n speci hed i n advance and does
notexi st' i nitsel|' .Thi si sa maj orontologicaltrans|ormation:withi n
thi snew |ramework it i snotpossi bl eto move |rom concepttoexi s-
tence and thus to number , we can onl ymoveto an exi stence that
i ssomehowcarvedouto|a pre-givenexi stence. Wecan'separate' i n
a gi ven domai n those obj ects wi thi n it that val i date the property
exposedbytheconcept. Thi si swhyZermel o' spri nci pl e, whi chdras-
tical l yl i mitstherightso|theconceptando|l anguageoverexistence,
LLL Z
is cal led the Axiom o| Separati on. And it does i ndeed seem that
accepting thi s axi om sa|eguards us agai nst the i nconsi stency-e||ects
o|Russel l -type paradoxes.
2. I J. Russel l ' s paradox is not paradoxi cal in the sl ightest. It is a
materi al i stargument, because it demonstrates thatmul ti ple~being is
anterior to the statements that a||ect it. It i s i mpossi bl e, says the
' paradox' , to accord to l anguage and to the concept the right o|
un|ettered legislation overexi stence. Even supposi ng that there i s a
transcendental |unction o| l anguage, itsupposesal so the avai l abi l ity
o|some pri orexistent, the power o|thi s |unction being si mpl ythat
o| carving out or del i miting extensi ons o| the concept wi thi n thi s
specihedexistent.
2. I4. Can we, in assumi ngZermel o' s axiom, savethe |regean con-
struction o|number? Once agai n, everythi ng turns on the questi on
o| zero. | might proceed i n the |ol l owing way. given a del i mited
domain o|obj ects, whose existence i s somehow external l y guaran-
teed, | wi l l cal l ' zero' or ' empty set' , whi ch is the same thi ng that
which detaches, or separates, wi thi n thi s domai n, the concept ' not
identical toitsel |' , oranyothersuchconceptunderwhichIcanassure
mysel |that no obj ects o| the domai n |al l . As we are deal i ngwith a
limiteddomai n, andnot,as in |rege' sconstructi on, wi th' al l obj ects'
a|ormulationthatledtothei mpasseo|a Lei bni zi anchoicewi thout
criteri a , there i s a chance o| my hnding such a concept. l|, |or
example, I take a set o| bl ack obj ects, I wi l l cal l ' zero' that which
separates in thi s set theconcept 'to be white'. The rest o|the con-
structionwi l l |ol l ow.
2. I 5. utwhatdomai no|obj ectscoul dIstartwi th, |orwhi chitcan
be guaranteed that these obj ects pertai n to pure thought, that they
are ' purelylogical ' ? ecal l that |rege i ntendstoconstructa concept
o| number that i s, according to his own expressi on, ' not. . . either
anything sensi ble or a property o|an external thing' ,
-
and that he
emphasises on several occasi ons thatnumber i s subtracted |rom the
representabl e. Estab| i shing that number is a producti on o|thought,
deducing it|romthe abstract attributes o|the concept i n general ~
thiscannotbe achieved usi ngb|ack andwhite obj ects . Thequestion
then becomes. what exi stent can I assure mysel | o|, outside o| any
experience? |stheaxi om' somethi ngexi sts' anaxi omo|purethought
and, supposing that i t i s, can I discern any property o| whi ch it
is certain that it does not belong i n any way to this exi stent
'something' ?
ZZ LLWLPL\L1Lb! LLL, LLLLF1WL, LPW\, LPW\
2. 6. A ' pure|y |ogica| ' demonstration o| existence, |or thought, o|
a nondescri ptobj ect,a poi nt o|being, an ' obj ect x'. thestatement
'every x i s equa| to itsel |' is an axi om o| logic with equa| ity. Now,
theuni versal rules o|hrst-orderlogic,a logicval i d|oreverydomai n
o|obj ects, a| low us to deduce, |rom the statement ' everyx is equal
tox' , thestatement'thereeistsanx that i sequal tox' subordina-
ti on o|theexi stenti al quantiher totheuniversal quantiher . '`There-
|ore, there existsx at |east thatx which is equa| to itsel | .
Thuswecandemonstratewi thi nthe|rameworko|settheory,rst
ofa||,bypurel y| ogi ca| means,thata setexists. Tbenwecanseparate
the empty set wi thi nthat exi stcnt whose exi stence has been proved,
by uti | i si ng a property that no e|ement can sati s|y |or example, ' i s
not equa| to itse||' . We have respected Zermel o' s axi om, since we
have operated wi thi n a pri or exi stent, but we have succeeded i n
engenderi ngzero.
2. I 7. lti squiteobvi ous, | thi nk, thatthis ' proo|' isan unconvi nci ng
artihce, a | ogi cal s|eight o| hand. From the uni versa| postu| ate o|
sel |-equal i ty whi ch we might possi bl yacceptasan abstract law, or
a | aw o|the concept , who cou| d reasonab| y i n|er that there cxists
somethi ngratherthannothing? ||theuni versewereabsol utelyvoid,
it wou|d remai n |ogi ca| | y admi ssi bl ethat, supposi ngthat somethi ng
exi sted which woul dnot be thecase , it woul dhave to beequal to
itsel |. The statement' everyx is equal tox' woul dbe val i d, butthere
wou| d be no x, so the statement ' there exi sts an x equal to itsel |'
woul dnot be va| i d.
Thepassage |rom universa| statement to assertion o|exi stence i s
anexorbi tantri ght, whi chtheconceptcannotarrogateto itse||. |tis
not possib|e to e| icit exi stence on the basi s o| a uni versal |aw that
cou|d be uphe|d j ust as we|| i n abso| ute nothingness ( consi der |or
exampl ethestatement ' thenothi ng is identical to itse| |' . And, si nce
no exi stent obj ect can be deduced |rom pure thought, you cannot
separate zero therei n. Zerme| odoes notsave Frege.
2. I 8. The exi stence o| zero, or o| the empty set, and there|ore the
exi stence o| numbers, i s in no way deduci bl e |rom the concept, or
|rom | anguage. 'Zero exi sts' i s inevitab| y a rst assertion, the very
one that hxes an exi stence |rom whi ch a|| others wi | | proceed. Far
|rom it beingthe casethatZerme| o' saxi om, combi ned with |rege` s
|ogici sm, al l owsustoengenderzeroandthenthechai no|numbers,
it is on the contrary the absol utely i naugural exi stence o|zero as
emptyset thatensuresthepossi bi l ityOseparatinganyextensi ono|
a concept whatsoever. Numbercomes hrst here. it is that point of
LLL ZJ
being upon whi ch the exerci se o|theconceptdepends. Number, as
numbero|nothi ng, orzero, s utureseverytexttoi tsl atentbei ng. The
void is not a production o|thought, because it i s |rom its exi stence
that thought proceeds, i n as much as ' it i s the same thi ng to thi nk
andtobe' .
put|orwardareprise
o||rege' s construction o|number. Hi stext |ounds a certain regime
o|compati bi | ity bctween structura| i sm and the Lacanian theory o|
thesubj ect.l ammyse| |peri odi ca| | ybroughtbacktothi s|oundation,
i soperative' .
J. J. I| we take thi s response seri ous| y, it means that, in the | ast
i nstance,i nthepropermodeo|its mi scogni ti on, itisthe|unction o|
thatsubj ectwhoseconceptLacan' steachi ngcommunicatestousthat
consti tutes, i |not the essence, at least the process o|engenderment
the 'genesis o|progressi on' , says Mi | |ero|number.
Obvi ous| y such a radica| thesi s cannot be ignored. Radica|, it
wou| d seem at hrst g| ance, wi th regard to |rege' s doctri ne, which
dedicatesaspecihcargumenttothere|utationo|theideathatnumber
might be ' subj ective` a| though iti strue that, |or |rege, ' subj ective'
means'caughtupi nrepresentation' , whi chobvi ous| ydoesnotmatch
theLacani an|unctiono|thesubj ect . Radi cal al sowi thregardtomy
P L\WL\PT \bPLL \ LLL Z5
ownthesi s, si nce| ho| dthatnumberi sa |orm o|bei ng, andthat, |ar
|rom being subtended by the |unction o| the subj ect, it is on the
contrary onthebasi so|number,andespeci a| | yo|thathrstnumber-
being that is the void or zero , that the |unction o| the subj ect
recei ves its sma| | share o|bei ng.
J. 4. We wi | | not undertake here to exami ne the i mportance o| thi s
text~ thehrstgreatLacani antextnottobewritten byLacanhi mse| |
=
|or the doctri ne o| the si gni her, nor to exp| ore what ana|ogy it
emp|oystoi | | umi natethei mportance~ attheti me, sti | | | itt|eappreci -
ated~ o|a| |thatthe mastertaughtus astothesubj ect' s beingcom-
pri sedi nthee||ects o|a chai n. Weseektoexami neexc| usi ve| ywhat
Mi | |er' s text assumes and proposes uitb regard to tbe tbinking of
numberassucb.
J. 5. Mi | |er'sdemonstrati on is organised as |o| | ows.
wbat is i tthat comes to|ack thus ? What' obj ect' can have as a
stand-in |or its own absence the hrst numerica| mark, and support,
Z LLWLPL\L1Lb. LLL, LLLLF WL, LPW\, LPW\
in relationto the wholechai no|numbers,theuni nscri bab| epl aceo|
that whi ch appears onl y in order to vani sh? What i s it that i nsi sts
betueennumbers We mustcertai nl yagreethatno' obj ect'can, even
by |ai l ure or de|ault, |al l i n that empty pl ace that assigns non-
sel |-i dentity. ut there does exist or hcre, more preci sel y, ek-si st
preci sel y that whi ch is not obj ect, that whi ch i s roer to the non-
obj ect, the obj ect as i mpossi bi l ity o| the obj ect. the subj ect. 'The
i mpossi bl eobj ect, which thedi scourse o|logicsummonsasthenot-
identical withitsel |andthenrej ects . . . i nordertoconstituteitsel|as
what it i s, whi ch it summons and rej ects uanting toknou notbing
ofit,wenamethi sobj ect,in so|aras it|unctionsas theexcesswhi ch
operates i nthesequenceo|numbers, thesubj ect. '
|
j
3. 6. We must meti cul ousl y di sti ngui sh between that which Mi l ler
assumes |rom|regeandthatwhi ch he deci phers i n |rege' swork on
hi sown account. l wi l l proceed i nthree stages.
J. 7. IIK51 51AGL Mi l lertakesas hi sstartingpoi ntthe proposition
o|Lei bniz~|regeaccordingtowhichsa|ca ceritate'
,
demandsthatal l
obj ectsshoul dbe identica| tothemselves. Thewhol e l iteral i sationo|
the real towards which Lei bni z worked al | hi s l i |e, and to which
|rege' s i deography i s the undoubted hei r, i s i n |act surreptiti ousl y
assumed here. ln thi s regard, Mi l ler i s indeed rightto equate, along
with Lei bni z, ' identi cal toitsel|' and' substitutabl e' , thus denotingan
equi valencebetweentheobj ectandthel etter. |orwhatcou| ditmean
tospeak o|thesubstitutabi | ityo|anobj ect?On| ythel etteri sentirely
substitutab| e|oritsel|. ' Ai sA' isa pri nci pl eo|letters,noto|obj ects.
To be identi habl e at a remove |rom itsel|, and subj ect to questions
o| substitutabi l ity, the obj ect must |all under the authority o| the
letter,
,
whichal onerendersitovertocal cul ati on. | |Aisnotidentical
at all moments to A, truth or rather veridical ity as ca|cu|ation
col | apses.
Thel atenthypothesi s i sthere|orethattruthisoftbeorderofca|-
cu|ation. |t is onl y on thi s supposi ti on that, hrstly, the obj ect has
tobe represented asa l etter, and, secondl y, thatthenon-sel|-identity
o| the obj ect-letter radical l y subverts truth. And i | truth is o| the
order o| calcul ati on, then zero ~ which numbers the excl usi on
o|the non-sel |-identical the subj ect ~ i s itsel |nothing but a letter,
the letter 0. The concl usi on then |ol l ows straight|orward|y that
zero i sthei nertstand-i n|or |ack,andthatwhat'drives' thesequence
o|numbers as a product o|marks~ a repetition in which is articu-
l ated the mi scogni ti on o|that which i nsi sts ~ is the |unction o|the
subj ect.
P L\WL\PT \bPLL \ LLL Z7
Moresi mpl y. i |truth i s saved onl y by uphol di ngthe pri nci pl e o|
identity,thentheobj ectemerges i nthehel do|truth onl yas a letter
amenabletocal cul ati on. And, i |thi s i sthecase, numbercan sustai n
itsel |onl yasthe repetition o|thatwhi ch i nsi sts i n l acki ng, whi ch i s
necessarilythenon-obj ect orthenon-letter,whi chi sthesamethi ng ,
the pl ace where ' nothingcanbewri tten' '
-
~ i nshort,thesubj ect.
J. 8. Noone isobl igedto bea Lei bni zi an, even i |wemustrecognise
inthi sphi l osophythearchetypeo|oneo|thethreegreatorientations
inthought,theconstructi vistornomi nal i storientation theothertwo
being the transcendent and the generic . ' ` As an advocate o| the
generic orientati on, I decl are that, |or truth to be saved, one must
preciselyabo|isb thosetwogreatmaxi mso|Lei bni zi anthought,the
Princi pl eo|Non-Contradiction andthe Princi pl eo|Indi scerni bl es.
J. 9. Atruthsupposesthatthesituationo|whi chiti sthetruthattai ns
non-sel|-i dentity. thi snon-sel |-identity i si ndicated by thesi tuati on' s
being supplemented by an 'extra' multi pl e, one whose belonging or
non-belongingtothesi tuati oni s, however, i ntri nsi cal l yundeci dabl e.
| have namedthi ssupplement'event' , anditi sal ways |rom anevent
that a truth-process originates. Now, when the undeci dabl e event
mustbedecidedwi thi nthesi tuati on, thatsi tuati onnecessari l yunder-
goes a vaci l lation asto its identity.
J. IO. The process o| a truth ~ puncturing the strata o| knowledge
harboured by the situation ~ inscri bes itsel |wi thi n the si tuati on as
i ndi scerni bl ei nhnity,whi chnothesauruso|establ i shedl anguagehas
thepowertodesignate.
Let' ssaysi mpl ythatzero, orthe void, has nothing i n itsel |to do
withthesal vationo|truth,whichi satplay i nthe' l aboured' correl a-
ti onbetween theundeci dabi l i ty o|the event andthe i ndi scerni bi l ity
o| its result within the si tuati on. No more so than it is possi bl e to
re|ertruthtothe power o|the letter, si ncetheexi stenceo|a truth is
preciselythattowhi chnoinscriptioncanattest.Thestatement'truth
i s' ~ |ar |romguaranteeingthat noobj ect |al l s under the concept o|
' not identical to itsel |' andthatthere|orezero is the numbero|that
concept~ i nsteadal lows usthi sthree|ol dconcl usi on.
=
there exists an obj ect that has attained ' non-se| |-i dentity' unde-
ci dabi l ity o|theevent ,
=
thereexistan i nhnityo|obj ectsthatdonot|al l underanyconcept
indi scerni bi l ityo|a truth ,
~ number is nota category o| truth.
Z8 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
3. I I . 5LCONl 51AGL What is the strategy o| Mi l ler's text ? And
what role does number as sucb play wi thi n it? Is i t real l y about
argui ngthatthe |unction o|the subj ect is i mpl icated~ as a mi scog-
ni sed |oundation ~ in the essence o| number? Thi s i s undoubtedly
what isstatedi nallcl aritybythe|ormul a| haveal readyci tedabove.
' | ntheprocesso|theconsti tuti ono|thesequence o|numbers| . . . the
|unction o| the subj ect. . . i s operative. '
A system i n Dede-
ki nd' s sense is there|ore quite si mpl y a set i n Cantor' s sense. The
space o| Dedeki nd' s work i s not the concept as i n Frege , but,
di rectly, the pure mul ti ple, a col lection that counts |or one as a
system obj ects o| thought.
4. 2. Dedeki nddevelopsa conceptiono|numberthat l i keCantor' s
isessenti al l yordina|. Wesaw compare 2. 3 that Frege' sconception
was essential l ycardina| proceeding vi a bi uni vocal correspondences
between extensi onso|concepts . What i sthesigni hcanceo|this di s-
ti nction? Intheordi nal view, numberi sthoughtasa l i nki na chai n,
itisanelemento|a total order. | nthecardi nal view, iti sratherthe
marko|a' purequantity' obtai nedthroughtheabstractiono|domai ns
o|obj ectshavi ng'thesamequantity' . Theordi nal numberisthought
accordingtotheschemao|asequence,thecardi nal number,accord-
ingtothato|a measurement.
JZ LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
4. J. Dedeki nd a|hrms that i nhnite number the totality o| whole
numbers,Iorexampl e recedes, i nconstructi on, hnitenumber each
whol e number, its successor, and so on . Thus the exi stence o| an
i nhnite i ndetermi nate system, and then the particul arexistence o|
N theseto|natural whole numbers |orm thecontentso|the para-
graphs numbered66 and 72 i n Dedeki nd' stext,whereasa resultas
apparently elementary as 'every number M i s di ||erent |romthe |ol -
l owi ngnumber M
In any case, we
are deal i ng with a |unctionj which makes everyelemento|a set or
system Scorrespondtoanelement andoneonl y o|asetS, i nsuch
a waythat.
~ to two di ||erent elements b andb_ o| S wi l l correspond two di |-
|erent e|ements f s andj, b_ o| S',
~ everyelemento| S
'
emember that, i n Dedeki nd' s termi nol ogy, 'system'
meansset, andthesi mi l ari ty o|twosystemsmeansthata bi uni vocal
correspondenceexists betweenthem .
4. I J. The most stri ki ng aspect o| Dedeki nd' s dehnition i s that it
determi nes i nhnityositice|y, and subordinates the hnite negatively.
This i s its especi al l y modern accent, such as i s al mostalways |ound
in Dedeki nd. An i nhnite system has a property o| an existenti al
nature. thereexists a bi uni vocal correspondence between itandone
o|its properparts. Thehnite i sthat |or which such a property does
notobtain. The hnite is si mpl ythatwhi ch is noti nhnite, andal l the
posi tive si mpl ici ty o| thought hi nges on the i nhnite. This intrepid
totalsecul ari sationo|thei nhnitei sagesturewhosevi rtueswe inept
parti sans o|' hnitude' , wherein our rel igi ous dependencecan sti l l be
read have notyetexhausted.
4. I4. The tbird poi nt o| Dedeki nd' s approach that every i nhnite
system contai ns as one o| its parts a system o| type N, a pl ace o|
number, sce 4. I I i sa per|ectl yelegant proo|.
Suppose that a system S is i nhni te. Then, given the dehniti on o|
i nhnite systems, there exists a bi uni vocal correspondencefbetween
S and one o|its proper parts S. In other words a bi j ective |unction
fthatmakeseveryelemento|b correspondtoanelemento|b
'
. Si nce
LLLLF1WL J7
b
'
isa roperpart o|b, there isat leastoneelemento|b that is not
in the part b
'
otherwi se b b
'
, and b
'
i s not a ' proper' part . We
choosesuchanelement,andcall it I . Considerthechain o|! |orthe
|unctionf |or ' chain' c. 4. 6 . We knowthat.
-
i nsi sts on succeedi ng.
What' begi ns' is not the I as opaquesign o| ' uni ty' , butzero as
suture o|al l l anguage to the being o|the si tuati on whose l anguage
iti s.
Successi on i snotthe addi ti ve codi ngo|a + ! , but a si ngu| ardi s-
position o| certain numbers which are successors ratherthan thei r
succeeding, andwhi chare markedi nthei r bei ngbythi sdi spositi on.
Wemustknowal sothatzeroandthei nhni tearepreciselytbatubicb
doesnotsucceed, andthattheyaresoi nthei rverybei ng,i ndi ||erent
ways,although botharelocated, byvi rtueo|this |act,ontheshores
o|a Nothingness.
Number is neither that which counts, nor that wi th which we
count.Thisregimeo|numerical i tyorganisesthe|orgettingo|number.
Totbinknumberrequiresanoverturni ng. itisbecauseiti sanun|ath-
omable |orm o|beingthatnumberprescri bes to usthat|eeble |orm
o|itsapproximationthati scounti ng. Peanopresentsthei nscri ption
o|number, whi ch i s our i nhrmity, our hnitude, as the condi ti on o|
i tsbeing. utthere are more things, i nhnitely more, i nthe kingdom
o|Number,thanare dreamt o|i n Peano' sarithmeti c.
L3HtOt. `YCl l -LtOCtCOHCSS
3HU tDC LtUH3S
6. I . Theordi na| srepresentthegenera|onto|ogica|horizono|numer-
i ca| i ty. Fo| | owi ngthee| uci dati ono|theconcepto|theordi na| , with
which wesha| | present|yoccupyourse| ves, this pri nci p|e wi|lgovern
everythi ngthat |o| |ows, and it i s we| | sai dthat in thi s sense Cantor
isthetrue|oundero|thecontemporarythi nkingo|number. |n|act,
Cantor
consi dered that the theory o|ordi na| s constituted the very
hearto|hi sdi scovery. Today,theuork/ngmatbematic/an, |orwhom
it su|hces tbattbere aresets and numbers and who does not worry
at all aboutwhattheyare,thi nkso|theordi nal sratherassomething
o|a curi osi ty. We must see i n this mild disdain one o|the |orms o|
submi ssi ono|themathematici an, i nso|arasheorsheisexc| usive|y
uorking, to the i mperatives o| socia| numerica| ity. Speci a| ists i n
mathemati ca| l ogi corsettheory are doubt|ess an excepti on, even i |
they themsel ves o|ten regret thi s excepti on. i n spite o| themse|ves,
theyarec| osesttothei nj unctiono|ei ng, and |or themtheordi na| s
areessenti a| .
6. 2. l have sai d, i n connection with Dedeki nd, that, i n ourpresent
phi | osophi ca| di scourse,wemust assume ascomp|etean 'onto|ogisa-
tion' o| the ordi na| s as possi b| e. The presentation o| this concept
by Dedeki nd or Cantor relates it essenti a| | y to the notion o| wel | -
orderedness ~ something sti | l very c| ose to a si mp| e seri al or
operati ona| i ntui ti on o|number.
6. J. Everyschoo| boyknowsthat,giventwodi ||erentwholenumbers,
oneo|them is largerandtheothersmal ler. And heknowsal sothat,
LPW\. `YLLL-\LLLL WLbb` PWL mL \L1WPLb 5J
given a ' bunch' o| numbers, there is oneandoneon| y that is the
sma| |esto|the bunch.
|romthi sseri a| know|edge, i|oneabstractsoutits genera| proper-
ties,theconcepto|thewe| | -ordered setcan be deve| oped.
6. 4. A ' we| | -ordered' seti s a set|or whi ch.
,e
< e,ore e
be|onging to P, p
<
di ||erent|rom, then,because
theorderistota| , either <
and
<
and wou|d not be mi ni ma| . So we can speak without hesitation
o|the ' mi ni ma| e|ement' o|a partP o|a we| | -orderedset.
We can see that the genera| concept o| the we|| -ordered set is
mere|ya sort o|extrapo| ati on|romwhatthe schoo|boy observes i n
themost |ami | i arnumbers. thenatura| who| enumbers.
6. 5. Agoodi mage o|a we| | -orderedseti sas|o| | ows. LetE be such
a set. ' Start' with the sma| |este| emento|E, whi ch, gi ven condi ti on
2 above, must exist. Ca| | this e|ement I . Consi der the part o| E
obtained by removing I , the part ( E - I . lt too has a mi ni ma|
e|ement, which comes in a certai n sense straigbt after 1 . Ca| | thi s
e|ement2. Considerthe part o|E obtained by removing I and2 to
bethepart ( E- I , 2 . Ithasa mi ni ma| e|ement,ca| | it3, andsoon.
A we| | -ordered set presents itse| || i ke a chai n, so that every | i nk o|
thechai n|o||ows ' |o| | ows' meani ng. comesj usta|terin the re|ation
Ol tota| order on| y one other, we| | determi ned it i s the mi ni ma|
e|ementofubat remains .
6. 6. Cantor' s stroke o|geni us was t o re|use t o | i mi t thi s i mage to
thehnite, andtherebytointroduce inhnitenumerati ons. He hadthe
|o| | owing idea. I| I suppose the exi stence - beyond that sequence
I ,2, 3, . . . , n,n+ I , . . . - o|a who|e numberwhich i sthe' hrst'we| | -
orderedset, the matrix o|a| | others, an ' i nhnite ordi na| number'
54 LLWLPL\L1Lb! LLL, LLLLF1W L, LPW\, LPW\
anddec| are it | argerthan a| | thenumbersthatprecede it,thenwhat
preventsme|romcontinuing I can very we| | treatasthemi ni ma|
e|ement o|a we| | -ordered setthatcomes i nsomesenseaertheset
o| a| l the who| e numbers. And I can then consi der the ' numbers'
+ I, + 2, . . . , + n,. . . , etc. I wi|l arrive eventua| | yat +,
andwi|| continue onceagai n. Nostoppi ngpoi nti sprescribedtome,
sothatI havea sorto|tota|series,eachtermo|which isthepossible
measure o|every exi stent sequence. Thi s term indicates to me that,
bouecer many came before it, it numbers every series o| the
same length.
6. 7. Al | ow me to cal l ordina| the measure o| the length o| a wel l -
orderedset, |romitsmi ni ma| e| ementtoits'end' . The' enti re' sequence
o|ordi nal s woul d then provi de us with a sca|e o|measurement |or
such |engths. Each ordi na| wou| d represent a possi b| e structure o|
we| | -orderedness, determi ned by the way in which the e| ements
succeed each other, and bythetota| numbero|these e|ements. This
i s why we say that an ordina|, whether hnite (the ordi na| s which
comebe|ore,andwhi charequi tesi mp|ythenatura| who| enumbers
or i nhnite ( those ordi na| s which come a|ter , numbers a 'type o|
we| | -orderedness' .
6. 8. Togivea technicalgroundi ng|orthi sidea,wewi | | considerthe
cl asso|we| l -orderedsetsthatarei somorphi ctooneo|thesetsamong
them ( and there|ore i somorphi c to each other . What shou| d we
understand bythi s?
Taketwo we| | -ordered sets, E and E', < theorder-re|ation o|E,
and<
f e, in E'
.
Wecan see thatf proj ectstheordero| E i ntotheordero|E', and,
what' smore,si ncej is bi univoca| , thereare' asmany' e|ementsi nE
'
as |n E. Wecanthere|oresaythatE and E', consi dered strictly |rom
the poi nt o|view o|thei rwel | -orderedness, and abstracted |rom the
si ngu| arity o|thei re|ements, are identica| . the ' morphi sm' ( |orm o|
thei r we| | -orderedness is ' i so' ( the same , as the correspondence j
assures us.
In |act, eachc| ass o| we| | -ordered sets i somorphic to each other
represents a we| | -orderedness, that we| l -orderedness common to al l
sets o|thatc| ass. |t i s tbis we| | -orderednessthatcan be represented
by anordi nal .
Thus an ordi na| is the mark o| a possi ble hgure ( a |orm, a
morphi sm o| we| | -orderedness, i somorphic to a| | the sets that
LPW1\. `YLLL-\LLLLWLbb` PWL mL \L1WPLb 55
take that |orm. An ordi na| i s tbe number or tbe c/ber of a
ue||-orderedness.
6. 9. Thi s concepti on, a| ready moving strong|y in the di rection o|
determi ni nga borizon o|being|ora| | numberi n the |orm o|a uni -
versalsca| eo|measurement|or |ormso|we| | -orderedness,neverthe-
l esspresentssomeseri ousdi |hcu|ti es, thehrstamongthemtechni ca| ,
theremainder phi | osophica| .
6. IO. The techni cal di |hcu|ties are three i n number, three questi ons
whi chmustbe answered.
! Which is the rstterm in the tota| series o| ordi na| s, the i ni ti al
| i nkthat' anchors' thewho| echai n? Thi s istheconceptua| ques-
ti on o| zero or the empty set, whi ch a|one is ab|e to number
sequences o| no |ength, sequences with no elements, the we|l-
orderednessthatorders notbing. This i sthequestionthatcaught
outFrege.
2 Whatexactlyistheprocedureo|thoughtthatal l owsustosuppose
a beyond o|the sequence o|hnite who|e numbers ? What is the
gesture by whi ch we ass beyond the hnite, and dec| are the
hrst ordina| whi ch wi|| not be a natura| who|e number, the hrst
mark o|a wel | -orderednessthatdescri besthestructureo|a non-
hnite set? Thi s i s the exi stenti al question o| the i nhnite, upon
which Dedeki nd |oundered.
J Does the universa| series o| ordi nal s~ the scale o| measurement
o|a| | |ength, whetherhniteori nhnite,thetota| ityo|speci hcati ons
o|wel l -orderedness~ existi ntheset-theoretical |ramework? lsn' t
it ~ | i ke the ' system o| a| | the possi b| e obj ects o| my thought'
introduced by Dedeki nd ~ an inconsistent tota| i ty, one that
thought cannot take as one o| its possi b| e obj ects ? Thi s i s the
question o| counting |or one an ' abso| ute' tota| ity. |t is thus
the prob|em o|the de|ection o|the One as soon as we c| ai mto
' count' the universe o|di scourse.
And so, once agai n, we hnd ourselves returned to the three chal -
lenges o|themodern thi nking o|number. zero, the i nhnite andthe
non-beingo|theOne.
6. I I . |trapid|yturnsoutthatthethi rdprob| emadmitso|nopositive
so| ution. Somethi ngthatwasatonetimeput|orwardasa ' paradox' ,
theura| i -Fortiparadox, canactua| | yberoced.theordi na| sdonot
formaset,theycannotbeco| | ectedi na mu|ti p|ethatcanbecounted
5 LLWLPL\L1Lb. LLL, LLLLF1WL, LPW\, LPW\
|or one. The i dea o| ' a| | ' the ordi na| s is inconsistent, i mpossi b| e, it
i s, to thi sextent, the rea| o|the horizon o| the being o| number.
This proo|i sveryc| ose|yre| atedtothatwhichre|utes Dedeki nd' s
attemptto provetheexi stence o|an i nhniteset( compare 4. 28 . the
set o|' al | ' the ordi na| s must itse| | be an ordi na| , and thus it wou|d
be inside itse||( since i t is a set o|a||the ordi na| s andoutside itse||
( sinceiti snotcounted i nthesequence ittota| i ses . Weare there|ore
prohi bitedtospeako|a' seto|ordina| s' withno|urtherqua| i hcation.
Whi ch is preci se| y to say. ' bei ng an ordi na| ' is a property uitb no
extension. Iti spossi b| etoconrm thata certai nobj ect isanordina|
( possessestheproperty , butnottocountjoronea||theobj ectsthat
have this property.
6. I2. I havesai denough, in my cri ti que o| |rege and Dedeki nd, |or
the treatment o| prob| ems ! and2 6. IO to be antici pated. the exis-
tence o|zero, or the empty set, and thc existence o|an i nhnite set
can inno way bededuced|rom' pure|y|ogica| ' presupposi ti ons. They
are axi omatic deci si ons, taken under the constraints o|the hi storial
i nj unction o|bei ng. The wor| d o|modern thought is nothing other
than the e||ect o| this i nj uncti on. egi nni ng in the Renaissance, by
way o| a rupture with the Creek cosmos,
,
it became necessary,
i n order to be ab|e to thi nk at a| | i n accordance with our pre-
understanding o|onto|ogica| exigency, to assume.
that the proper mode under whi ch every situation ' that i s' is
sutured to its being i snotPresence, thedehiscence o|thatwhich
pro-posesitse||wi thi nits| i mi ts, butpuresubtracti on, theunqua| i -
hab| e voi d. In that |orm o| being which i s number, thi s can be
stated as |o| | ows. 'zero exists' , or, in a sty|e more homogenous
with Cantor's onto|ogica| creation. ' a set exi sts which has no
el ements' ,
O
that, in thei r quasi -tota| i ty, and by way o| a rupture with the
medi aeva| tradition which reserves this attri bute |or Cod alone,
si tuati on-beings are i nhnite, so that, |ar |rom being a predicate
whose|orcei sthato|thesacred,thei nhnitei sa bana|determi na-
ti on o|bei ng, such as it pro||ers i tse| |as pure mu| ti p| icity under
the| awo|acount-|or-one. Inthat|ormo|beingwhichisnumber,
this can be stated as |o| | ows. 'an i nhnite set exists', or, more
techni ca| | y. ' an ordi na| exi sts whi ch is not a natura| who|e
number' . Or, i n otherwords, ' exi sts' .
6. I J. Onehadtowai tpracti ca| l yunti | thebegi nni ngo|thetwentieth
century be|ore these deci si ons re| ati ng to zero and to the i nhnite
LPW\. `YLLL-\LLLLWLbb` PWL mL \L1WPLb 57
would berecognised i n themselves ( under the names o|the Axi om
o|theEmptySetandtheAxiomo|| nhni ty , al thoughthey hadbeen
operative i nthought |orthree hundredyears. utthi si snot surpri s-
ing. Wecanobservea veritabl ebi|osobica|desperationconstantly
puttingthesei mperatives i nto reverse, whether through the intellec-
tual derel iction o|thethemeo|hnitudeorthrough nostal gi a |or the
Creek ground o|Presence. It istruethat, when we are deal i ng with
pure decl arations, decided i n themselves, these decl arati ons exhi bit
the |ragil ity o| thei r hi storicity. No argument can support them.
What' smore,certai ntruth procedures, in particul arpol itics,art and
love, are notyetcaab|e ofsustaining such axi oms, and so in many
waysremainCreek.Theycl i ngtoPresence( artandlove , conti nual l y
recusingthestatement 'zero i sthepropernumeric nameo|being' i n
order to give tri bute totheobsolete rights o|theOne. Or pol i tics
they manage hnitude, corrodi ng day a|ter day the statement 'the
situation is i nhni te' , i n order to va| ori se the corrupted authority
o|practicalities.
6. I4. The two axi oms o|the voi d and o|the i nhnite structure the
enti rethi nki ngo|number. Thepurevoidi sthatwhichsupportstbere
being number, and the i nhnite, that by whi ch it is a|hrmed that
number is the measure o|the thi nking o|ecery situati on. The |act
that thi s is a matter o| axi oms and not o| theorems means that the
exi stenceo|zero and o|thei nhnitei sprescri bedtothoughtbybei ng,
inorderthatthoughtmightexistintbeonto|ogica|eocbo|suchan
existence.
Inthi ssense,thecurrentstrengtho|reactive,archai candrel i gi ous
wi l l sisnecessari l yaccompaniedbyani rremedi abl eopacityo|number
=
whi ch,notceasi ng to rule over us, sincethi s i stheepochal l awo|
being, nevertheless becomes unthi nkable |or us. Number may exist
as|ormo|beingbut,asa resul to|thetota| secul ari sati ono|thevoi d
ando|thei nhnite, thoughtcanno l ongerexisti nthe|orm andwi th
the|orcethattheepochprescribestoit.Sonumberwi l l nowmani |est
itsel |, withoutl i mit, as tyranny.
6. I 5. Thepri nci pal phi losophi cal di |hcultyo| theCantori anconcept
o| the ordi nal s i s as |o| | ows. In the presentati ons which bind it to
the concept o| wel l -orderedness, the theory o| ordinal s rather
seems to 'general i se' the intuition o| natural whole number that
al lows us to tbink the being o| number. lt draws its authority
|rom that which it cl ai msto el ucidate. The i dea o|wel l -orderedness
in e||ect does not so much |ound the concept o|number as deduce
it |rom the l acunary and hnite experience o| numerical immediacy,
58 LLWLPL\L1Lb! LLL, LLLLF1WL, LPW\, LPW\
whi ch l i ncarnated i n 6. J in the sympathetic hgure o| the
schoo| boy.
| |we trul y wi sh to establ ish the bei ngo|number as the |orm o|
the pure mu| ti p| e, to remove it |rom the schoo|room ( which means
a| sotosubtracttheconcept|romitsambientnumeri ca| ity , wemust
di stance ourse|ves |rom operati ona| andseri al mani pu|ati ons. These
mani pu| ati ons, sotangi b| einPeano,proj ectontothescreeno|modern
i nhnitythequasi -sensi b| ei mage o|ourdomesticnumbers,the I , |o| -
| owed by2, whichprecedes 3, andthentherest. Theestab| i shingo|
thecorrectdistancebetweenthoughtandcountab|e mani pu| ati onsi s
preci se| y what l ca| | the onto| ogi sati on o| the concept o| number.
From the poi nt at which we presentl y hnd ourselves, it takes on
the |orm o|a mostprecisetask. the onto|ogisation o|the ' universa| '
series o| t he ordi na| s. To proceed, we must abandon the idea o|
we| | -orderedness and thi nk ordinati on, ordi na| ity, i n an intrinsic
|ashi on.
lti s not as a measure o|order, nor o|di sorder, thattheconcept
o|numberpresentsi tse| |tothought. Wedemand ani mmanentdeter-
mi nation o| its being. And so |or us the question now |ormu|ates
itse| | as |ol l ows. which predicate o| the pure mul ti pl e, that can be
graspedoutsideo|a| | seria| engenderment, |oundsnumerica| ity? We
do not wanttocount, we wantto thi nk the count.
Z
\OHCCtS. l3tUt3 |UtCtCS
7
t3HStVC |UtCtCS
7. I . Whatpermitstheabandonmento|everyprimiticebondbetween
number and order or seri al ity is the concept o| the transitive set.
Only this structural ~ and essenti al l yontol ogi cal ~ operatorenables
an i ntri nsi cdetermi nati ono|numberas a hgure o|natural bei ng. ln
vi rtueo|it,weare nolongertrappedi nthequandarieso|thededuc-
tiono|theconcept( Frege , o|thesubj ectascausa| ityo|l acki nseri al
engenderment( Mi l l er , o|theexi stenceo|thei nhnite ( Dedeki nd , or
o|the'school boy' intuition o|wel l -orderedness ( Cantor .
7.2. Althoughthi sconceptmightseemat hrstg| ance rathermysteri -
ous,i tslacko|rel ati ontoanyintuitivei deao|numberistomyeyes
agreatvi rtue. ltprovesthati nitwegraspsomethingthatbreaksthe
ci rc|eo|anonto|ogical elucidationo|numberenti re|ytransparentin
its pure and si mp| e presupposition. We have seen that thi s ci rcl e
recurs in Frege and i nDedeki nd, andthattheCantori anconception
o|ordinalsastypeso|wel l -orderednessi ssti l l compl |antwi thit. ut
we sha| | see that the legitimacy jor bi|osopbica| tbougbt o| the
concept o|transitivity| eavesnoroom |ordoubt.
7. J. Tounderstandwhatatransitiveseti s, iti sessenti al topenetrate
thedistinction~ o|whichitwoul dnotbean exaggerationtosaythat
it supports al | post-Cantori an mathematics ~ between an element' s
be|onging to a set and the inc|usion o| a part. Thi s distinction is
rudimentary, but it i mpl ies such pro|ound consequences that |or a
longtime it remainedobscure.
Z L\WLLb! WP\PL \L1L1L1Lb
7. 4. A set is ' made out o| el ements' , is the ' col lecti on' i n my l an-
guage, thecount-|or-one o|its elements.
Take the set E, and let e be one o| the elements |rom which it
' makes' a set. wedenotethi s by e E, andwesaythate belongsto
L, bei ngthe sign |or be|onging.
I |younow'gathertogether' manyel ementso|E,they|ormapart
o| E. Taki ngE as the set o|thesee|ements, E is a part o| E. This is
denoted by E' C E, and we saythat E' i s i ncl uded in E, C beingthe
sign o|i ncl usi on.
Everye| emento|a part E' o|E is anelement o|E. | n|act thi s is
thedehni ti ono|a part. Ei sinc|udedi nE whenal l theel ementsthat
be|ong to E
'
a|so be|ong to E. Sowe see that inc|usion i sdehnedi n
tcrms o|bel onging, which isthe on| y ' pri mitive' si gno|set theory.
Thecl assi c mi sl eadi ng i mage is drawn l i ke thi s.
| nitwecanseethatE
'
i sa part o|E,thate, isatonce asisevery
element o| E
'
an element o| E and an el ement o| L, and that
e, i sanelemento|'thewhol e' E, butnoto|thepart E' . We al sosay
that e, bel ongs to the difference o| E and L, which is denoted by
E~E
'
.
7. 5. Is it possi ble |or an element that be|ongs to set E also to be a
part o|thatset,al sotobe inc|uded Thi sseemstotal l ybizarre,above
al l i|we re|ertothei mage above. utthi ssentimentmi ssesthemost
i mportant point, whi ch is that an e|ement o|a set can obvi ousl y be
itsel |a set andeven that thi s is al ways the case . Consequently, i|e
belongs to E, and e is a set, the question arises whether an element
o|e i s or is not, in its turn, an elemento|E. ||al | the elements o|e
are al soel ements o| E, thene,whi ch is an elemento| E, is al soa part
o|E. It bel ongs to E andis i ncl uded in E.
7. 6. Suppose |orexampl e that V i s the seto|l i ving bei ngs. Mycat
belongs to thi s set. ut a cat is composed o|cel l s, whi ch one might
sayarethemselvesall l i vingbeings. Somycati satonceal i vi ngbeing
PWb11VL \L1L1L11Lb J
andaseto|l i vingbeings. He belongstoV quaone, tbis l i vi ngcat ,
and he is a part o| V ~ he is incl uded i n V ( qua group o| l i ving
cel l s .
7. 7. Forget cats. Considerthethree |ol l owi ng ' obj ects' .
~ theobj ecte, ,
~ the obj ecte_ ,
~ the obj ect which is the 'gathering together' o| the hrst two, and
which we denote by e, ,e, . This i scal ledtheairo|e, ande_ .
Form a set |rom these three obj ects. |n the same way, we denote
it by. ( e, ,e,, ( e, ,e, . Thi s iscal ledthetrip|eto|e, and e, and the pai r
( e, ,e_ . We wi l l denote it by T. Note that the three elements that
be|ongto thistriplet are e, , e,, and ( e, ,e_ .
Si ncee, ande_ belongt oT, i |I 'gatherthem together' , I obtai n a
art o|T. Thus, the pai r e, ,e_ , which is the 'gatheringtogether' o|
thesetwoelementso|T, i sinc|udedi nT. uti naddi ti onwecansee
that it i s an element o| it, that it al so be|ongs to it. Thus we have
constructeda verysi mpl ecase o|a seto|whi chanelementi sal soa
part.|n setT, the pai r e, ,e_ issi multaneousl yinaposi ti ono|bel ong-
ingand o|i ncl usi on.
7. 8. We know, |rom a |amous theorem o| Cantor' s, that there are
morepartsthanelements in anyset Ewhatsoever.Thi sis whatI cal l
the excess o| i ncl usi on over belonging, a l aw o| bei ng qua being
whose consequences |or thought are immense, since it a||ects the
|undamental categories that i n|orm the couplets One/Mul ti ple and
Whole/Part. It is there|ore i mpossi bl e that every part shoul d be an
element,thateverythingthatisi nc|udedshou| dal sobel ong. thereare
a|uays partsthatare notelements.
utwecanputthequestion|romtheotherdi recti on. si ncewecan
seethatitispossi bl eincenai ncases |orexampl emycat|ortheset
Vo|l i vi ng beings, orthe pair e, ,e_ |or ourtri pl etT |oranelement
to be a part, isitpossi bl e|ora||elementsto be parts,|oreverythi ng
thatbelongs tothesetto be i ncl uded? Thi si snotthecase|or T. the
elemente, takenal one,|orexampl e, i snota part o|T.
Canweproducea non-empi ri ca|exampl e because myV, mycat
and its cel l s are rational l y suspect o| a set al l o| whose el ements
would be parts ?
7. 9. Let's retrace our steps a l ittle, back to the empty set. We have
proposed i n 2. I 8 the axi om ' a set exi sts whi ch has no el ements' ,
4 L\WLLb! WP\PL \L1L1L11Lb
that i s, a set to whi ch nothing belongs . We aregoingto give to this
set,the' empty' rock o|thewhole edihceo|multiple-being,a proper
name, the name ' 0' .
The|ol l owi ng,extremelysubtle, remark mustbemade. tbeempty
setisaartofeceryset,0 isincl udedinEwhateverEmightbe.Why?
ecause, i| a set F is nota part o| E, it is becausethere are e|ements
o|Fthatare not elements o|E i |every elemento|F isanelemento|
E,then bydehnition F isa parto|E . Now0 hasnoelements. So,it
i si mpossi bl e|or itnottobea parto|E. Theemptysetis' universal l y'
incl uded, becausenothing i n it can preventordenysuch i ncl usi on.
To put it another way. to demonstrate that | is not a part o| E
requi resthatwepi ckout,uitbin|,atleastoneelement. thatelement
whi ch, not being an element o|E, proves that F cannot be i ncl uded
' enti re| y' wi thi nE. Nowthevoid doesnottolerateanydi ||erentiation
o| this sort. lt i s i n-di ||erent, and, because o| this, it i s i ncl uded in
every multi pl i ci ty.
7. IO. Considerthetwo |ol l owing ' obj ects ' .
~ theempty set, 0,
~ the set whose one and onl y e|ement is the empty set, which is
cal led thesing|eton o|theemptyset,and i sdenoted by 0 .
Note wel l that thi s second obj ect i s different |rom the empty set
itsel |. In |act, the empty set has no elements, whereas the si ngleton
has one element ~ preci sel y, the empty set. The si ngleton o| the
void ' counts |or one' the void, whereas theemptysetdoesnotcount
anything thi s i ndicates a subtle distinction between 'does not
count anythi ng' , whi ch is what 0 does, and ' counts nothing' , which
is what 0 does. Pl ato al ready played on thi s di sti nction i n the
larmenides .
7. I I . An addi ti onal remark as regards si ngl etons si ngletons
' i ngeneral ' , notthe parti cul arsingleton o|theemptyset . Takea set
E andone o| its elementse soC E . Thesi ngl eton o|e,written e ,
is a arto|E. e C E.
What i s the si ngleton o| e, i n |act ? It i s the set whose uni que
element is e. Consequently, i| e is an element o| E, ' al l ' the elements
o|the si ngleton e ~ namel y the single element e ~ are elements o|
E, andso e i s i ncl uded i n E.
7. I2. ' Cathertogether' ourtwoobj ects,theemptysetdenoted by 0
and the si ngleton o| the empty set, denoted by 0 . We obtai n the
PWb11VL \L1L1L11Lb 5
pai r( 0, ( 0 , whi chwewi | | denote byD. Thi stime,thetuoe|ements
o| the pair D are a|so parts, everything that be|ongs to D is a| so
inc|udedinD. In |act,thehrste|ement, 0, theempty set, i si nc| uded
in any set whatsoever ( see 7. 9 . Speci hca|| y, it is a part o| the pai r
D. ut, what' smore, si nce 0 is an e|emento|D, i tssi ngleton ( 0 , i s
aparto|D 7. I I . ut ( 0 i spreci se| ytheseconde| emento|D. Thus
thi se|ementi sa| soinc|udedi nD. ThesetDi ssuchthateverye|ement
o|it i sa|so a part, everythingthat belongs to D is i nc| uded in D.
7. I J. AspredictedbyCantor' stheorem,therearepartso|Dthatare
not e|ements o| D. |or exampl e, the si ng|eton o| the e|ement 0 o|
D is a part o|D, as is every si ngleton o|ane|ement 7. I I . Wecan
write this' si ng|etono|thesi ng|eton' as( ( 0 . Now, thi sobj ectisnot
one o|thetwoelements o|D.
7. I4. An i mportant dehnition. we say that a set T is transitice i |it
i s| i ke the set D thatwehave j ust bui |t. i |a|| o|itse| ements are a| so
parts,i |everythingthatbe|ongstoitisa| soi nc| udedi ni t, i |,wherever
it i sthe casethat t T, it i s a|so thecasethat t C T.
7. I 5. Transitive sets exist, wi thout a doubt. Perhaps V, the set o|
| i ving beings, certai n| ytheset( 0, ( 0 , whi ch is transparent, trans| u-
centeven,constructed asi tis|romthevoi d( thepai ro|thevoi dand
thesing|eton o|thevoi d, thevoi dassuchandthevoi das one .
7. I6. Modernity i sdehnedbythe|actthattheOnei snot( Nietzsche
said that ' Cod i s dead' , but |or hi m the One o|Li |e took the p| ace
o|thedeceased . So,|or we moderns or ' |ree spi rits' , theMu|ti p| e-
without-One i sthe |astword on being qua being. Now thethought
o| the pure mu| ti pl e, o| the mu| ti p| e consi dered i n itse| |, without
considerationo|whatiti sthe mu|tip|eo|(so. withoutconsi deration
o|anyobjectwhatsoever , iscal l ed. ' mathematicalsettheory' .There-
|ore every maj or concept o| thi s theory can be understood as a
concept o| modern ontol ogy.
What does onto|ogy di scover in the concept o| the transitive
set?
7. I 7. elongi ngis an onto|ogica||unctiono|resentation, i ndicating
tbatubicb is presented inthecount-|or-one o|a mu| ti p| e. Inc| usi on
i stheonto|ogica| |unction o|reresentation, i ndicatingmu|ti p| es re-
countedaspartsinthe|rameworko|arepresentati on. Amosti mpor-
tantproblem (the problem o|thestatc ofa situation i s determi ned
bythe re|ationbetweenpresentation and representati on.
L\WLLb. WP\PL \L1L1L11Lb
Now,atransitiveset representsthe maximumpossib|eequi | i brium
betweenbe|ongingandi nc| usi on, thee|ementandthepart, andC.
Transiti vity thus expresses thesuperi ortype o|onto|ogica|stabi |i ty,
the strongestcorre| ati onbetween presentation and representati on.
Therei sa|waysanexcesso|partsovere| ements Cantor'stheorem
'
there a| ways exist parts o| a set whi ch are not e|ements o| that set.
Thus we obtai nthemaxi ma| correspondencebetween be|ongingand
i nc| usi on precise|y when ecery e|ement is a part. when the setcon-
si dered i stransi ti ve.
Thi sstrongi nterna| |rameo|thetransi ti vesetthe|actthatevery-
thi ngthat it presents i nthe mu|ti p|ethat it is, itrepresents a second
timei nthe|ormo|i nc|usi on , thisequi | i bri um, thismaxi ma| stabi | ity,
has |edmeto saythattransitivesets are ' norma| ' , taking ' norma| ' in
the doub| e sense o|non-patho|ogica| , stab|e, strong|y equi | i briated,
thatistosay. notexposedtothedisequi | i bri umbetweenpresentation
and representati on, a di sequi | i bri um whose e||ective |orm i s the
eventa| caesura, and submitted to a norm, that o| a maxi ma| | y
extended correspondence between the two maj or categories o|
onto|ogica| i mmanence. be|onging and i nc| usi on.
7. I 8. Theconcepto|transitivemu| ti p| icitywi | | constitutethenorma|
basi s |or the thi nki ng o| number. Transitivity i s at once that which
makes o| number a section
or V
i
is an e| ement o| W. utthen itwou| dnotbe possi ble that
W e W, , si nce W, e W.
|t can be seen that ordi nal successi on is the schema o|the 'one
more step' , understoodasthatwhich ho| |owsouta voidbetweenthe
i ni ti a| stateandthehna| state.etweentheordi na| W anditssucces-
sor5 V} , there i snotbing. Meani ng. nothi ng natura| , noordi nal . We
coul dal sosaythata successorordi nal del i mits,j ust' behi nd' itsel |, a
gapwhere nothi ngcan be estab| i shed. |n thi ssense, ratherthansuc-
ceedi ng, asuccessorordina|begins. ithasnoattachment,noconti nu-
i ty, wi ththatwhi ch precedes i t. The successorordi nal opens up |or
thought a begi nni ng in bei ng.
9. I4. A | i mit ordi na| , i |such a thi ng exists, is a di ||erentcase alto-
gether. The dehnitiono|such anordi nal is, pleasenote,purelynega-
tive.itisnota successor,thati sa|lthatweknowo|it|orthemoment.
We can also say. i t does not possess a maxi mal element. ut the
consequences o|thi s lack areconsi derabl e.
Take L, a supposed l i mit ordinal , and u, , an el ement o| thi s
ordina| . Si nceu, i snotmaxi mal , therecertai nl yexi stsan elementu
o| L whichis l argerthan it. so wehave the chai n. u, e u,E L. ut,
si nce i n its turn u, i s not maxi ma| , there exi sts a u
,
such that
u, e u, e u
,
e L. Andso on.
Thus, whenan ordi na| be|ongsto a l i mit ordi na| , a thi rd party is
i nterca| ated into the rel ati on o| bel ongi ng, and, as thi s process has
nostoppingpoi nt,astherei snomaxi mal element,itcanbesai dthat,
between any el ement u o| a | i mi t ordi nal L and L itse| |, there i s
b\LL cbb1\W PWL L11. mL 1W1W1L 7
a|ways an ' inhni ty' , i n the i ntuitive sense, o| intermedi ate ordi na| s.
So it is i na strongsensethatthe| i mit ordi na| doesnotsucceed. No
ordi na| isthe| astto be|ongtoit,the 'c|osest' to it. A | i mit ordi na| is
al ways equa| | y ' |ar' |rom a| | the ordi na| sthat be|ongto it. etween
the e|ement u o|L and L, there i s an i nhnite distance where i nter-
mediaries swarm.
Theresu|tisthat,contrarytowhatisthecase|orasuccessorordina|,
a |imitordina| does not ho||ow outany empty space behinditse||. No
matter how 'c|ose' to L you imagine an e|ement u to be, the space
betweenu andLisinhnite|ypopu|atedwithordi na| s. The|imitordi na|
L is there|ore in a re|ation o|adberence to thatwhich precedes it, an
inhnityo|ordinals'cements' itin p|ace,stopsupeverypossi b|egap.
| |the successor ordi na| is the onto|ogical and natura| schema o|
radica| begi nni ng,the| i mi tordi na| i sthato|theinsensib|c resu|t, o|
trans|ormationwi thoutgaps, o|i nhnite conti nuity. Whi ch i s to say
that every acti on, every wi | | , i s p|aced either under the sign o| the
successor, or under the si gn o| the |imit. Nature here |urni shes us
with the onto|ogi ca| substructure o|the o| d prob|em o| revo| uti on
tabu|a rasa,emptyspaceando|re|orm insensi b| e, consensua| and
pain|essgradations .
9. I 5. There i s another way t o i ndicate the di ||erence between
successors and | imi ts which are |or us the predicates o| natura|
mu| ti p|e~bei ng .
Theunion ofa set is the set constituted byt hee|ements oftbe
e|ements of. Thi s i s rel ated to a very i mportant operator o| the
onto|ogy o|the mu| ti p| e, the operator o|dissemination. The uni on
o|E ' breaks open' thee|ements o|E andco| | ects a| | the products o|
thisbreaking-open,a| | thee|ementscontainedi nthee|ementswhose
counti ng-|or-one E assures.
An examp| e. take ourcanoni ca| examp| e o|three, the setT that
makesa trip|eto|thevoid,thesi ng|eton o|thevoi dandthe pai ro|
the voi d and i ts si ng|eton. |t i s wri tten 0, 0 , ( 0, 0 . What i s the
uni ono|T?
Thehrste|ement o| T i s 0, whi ch has no e| ements. It there|ore
donates no e|ements to the uni on. The seconde|ement is 0 , whose
si ng| e e| ement i s 0. Thi s | atter e|ement wi | | |eature i n the uni on.
|ina| |ythethi rde|ementi s 0, 0 , whosetwoe| ementsare0 which
wea| readyhave and 0 . Soi ntheendtheuni ono|T,theseto|the
e|ementso|i tse|ements,i scomposedo|0and 0 . iti sthepai r 0, 0 .
Thati st osay,ourD, orthenumbertwo. Thedi ssemi nati ono|three
is no other than two. We state i n passing this wi | | be c| arihed i n
9. I 8 thattheunion o|T is ' sma| |er' thanT itse| |.
80 L\WLLb. WP\PL \L1L1L11Lb
9. I 6. Theposi ti ono|ordi nal swithregardto uni on is mostpecul i ar.
Ci venthatan ordi nal W i stransitive, al l itselements are al soparts.
And this means that tbe e|ements oftbe e|ements of w, ubicb are
a|so tbe e|ements oftbe arts ofw, are tbemse|ces e|ements ofw.
|n the uni on o| an ordi nal we hndnothi ng but the elements o|that
ordi nal . That is to say that the union o|an ordi nal isa artoftbe
ordina|. || we denote the set ' uni on o| E' by .E, then, |or every
ordi nal , .W C W.
Thi sproperty i scharacteristical l ynatural . thei nterna| homogene-
ityo|anordi nal issuch thatdi ssemi nati on, breaki ngopenthatwhich
itcomposes,neverproducesanythingotherthana parto|itsel|. Dis-
semi nati on, when it i s appl ied to a natural multi pl e, del i vers only a
' shard' o| that mul ti pl e. Nature, stabl e and homogenous, can never
' escape' itsproperconstituentsthrough dissemi nation. Or. i nnature
there is no non-natural ground.
9. I 7. Thatthe union o|an ordi nal shoul d be a parto|thatordi nal ,
orthattheelements o|i tselements shoul d be el ements,bri ngsusto
thequesti on. are theya|| Dowe ul ti matel yhnd noteven a ' parti al '
part orroerpart, compare 4. I2 , butonl ytheordinalwebegan
with? Itcoul dwel l be that ecery elementcan be |oundas element o|
an el ement, since the internal |abric o| an ordi nal is entirely intri-
cated. In that case,.W W. Not on| y woul d dissemination return
only natural materi al s, but i t woul d restore the i ni ti al totality. The
di ssemi nati on o| a natural set woul d be a tauto|ogica| operati on.
Whi ch is to say that it woul d be absol utely in vai n. we coul d then
concl ude that nature doesnota||ouitse|fto oe disseminated.
9. I 8. Thi s seductivethesi s i s verihedin tbe case of|imitordina|s, i|
such a caseexi sts.
Take any element H j whatsoever o| a l i mi t ordi nal L. We have
shown in 9. I 4 that between H] and L necessari l y comes an inter-
cal atedelementH_q in such a |ashi onthatwe always have whatever
the element u the chai n H[ H_ L. ut, in addi ti on, when we
di ssemi nateL the element Hj wi l l be |oundagai nin the uni on, as an
element o| H_ . Consequently,ecery elemento|L |eatures in .L, the
uni on o| L. And, as we have seen, conversely 9. I 5 , that every
elemento|.L is anelemento|L since.LC L , itonl yremainsto
concl ude thattheel ementso|Landthoseo|.Lareexactlythesame.
Whi ch is to saythat L i s identical to .L.
To di ssemi nati on, the l i mit ordi nal opposes its i nhnite sel |-
coalescence. |t isexempl ari l ynatural , in so |aras, in bei ng' di ssected' ,
i tsel ementsdo notal ter. Itisits own di ssemi nation.
b\LLLbb1\W PWL L11. mL 1W1W1L 8
9. I 9. A successorordi nal , ontheotherhand, resi sts bei ngidentihed
with its dissemi nation. ltremai nsincxcess o|its uni on.
Let' sconsiderasuccessorordi nal W. ydehni ti onithasamaxi mal
e|ement H [ . Now it i s i mpossi bl ethatthi sel ementshoul d be|ound
i nthe uni ono|W. I|i twere |ound, thatwou| dmeanthatitwasthe
e|emento|anothere|ement,H_q o|W. soH [ H_q andH j woul dnot
be maxi mal . The maximal e|ement H necessari|y makes tbe differ-
encebetueen w and.w. There i satleastonee|emento|asuccessor
ordi nal thatbl ocksthe pure and si mpl edi ssemi nati ve restorati on o|
i tsmu| ti ple~bei ng. Asuccessor,un| i kea | i mi t, i s' contracted' , a|tered,
by dissemi nati on.
9. 2O. Inmyview,thi scontrastis o|thegreatestphi l osophi ca| i mpor-
tance.Theprevai | ingidea i sthatwhathappens ' atthe | i mit' i smore
complex,and also more obscure, thanthatwhich i sin play ina suc-
cession,ori na si mp| e'onemorestep' . Fora | ongti mephi l osophi ca|
specu|ation has |ostered a sacra| i sation o| the | i mi t. What I have
cal ledelsewhere
i
the' suture' o| phi l osophytothepoem rests| argely
uponthi ssacral isation. TheHei deggeri anthemeo|theOpen, o|the
deposition o| a cl osure, i s the modern |orm o| the assumpti on o|
thel i mi tasa wrenchi ngaway|rom counting, |romtechni que, |rom
the succession o|discoveries, |rom the seri a| ity o|Reason. There is
anaura o|the l imit, and an unbei ngo|successi on. The ' heart come
|rom another age' aspi res and thi s horizon-e||ect is on| y captured,
so i t seems, by the poem to a movement across those ' inhnite
meadows where a| | timestands sti l | ' .
,
What the onto|ogy o| the mu| ti pl e based in a contemporary
Platonism teaches us i s, on the contrary, that the di |hculty resi des
in successi on, and that there, a| so, resides resistance. Every true
test |or thought originates i n the | ocal i sab| e necessity o| an addi -
ti onal step, o| an unbroachable begi nni ng, whi ch i s nei ther fused
through the i nhnite repl eni shment o| that which precedes it, nor
identica| to i ts di ssemi nati on. To understand and endure the test
o| the addi ti onal step, such is the true necessity o| ti me. The l i mi t
is a recapitu|ation o| that whi ch composes it, i ts ' pro|undi ty' i s
|a| |aci ous, it i s in vi rtue o|its havi ngnogas thatthe | i mi tordi na| ,
or any mul ti pl icity ' at the | i mi ts' , attracts the evocative and hol l ow
power o| such a ' pro|undity' . The empty space o| the successor
is more redoubtab| e, it i s tru|y pro|ound. There i s nothi ng more to
thi nkinthe| i mi tthan in that whi chprecedesit. uti nthesuccessor
there is a crossi ng. The audacity o|thoughti s not to repeat ' tothe
| i mi t' that which i s a| ready entire|y retai ned wi thi n the situation
which the |imit |imits, theaudacity o|thoughtconsi sts in crossi nga
8Z L\WLLb. WP\PL \L1L1L11Lb
space where nothing is given. We must |earn once more how to
s ucceed.
9. 2I . asi ca| l ywhat i sdi |hcul tinthe limit i snotwhat itgivesusto
thi nk, but its existence. And what is di |hcul t i n succession i snot its
exi stence ( as soon as the void i s guaranteed, it |ol l ows i nel uctably
butthatwhich begi ns in thoughtwiththi sexi stence.
And so, speaking o|the l i mi t ordi na| , the question returns, ever
morei nsi stent. dol i mit ordi na| sexist ? Onconditiono|theexistence
o|the voi d, there i s I , and 2, and 3 . . . , al l successors. ut a | i mi t
ordina| ?
Thereaderwi | l havereal i sed. wehndourselvesont hevergeo|the
deci si onontheinhnite. Nohope o|rocingtheexistenceo|a si ng|e
| i mit ordi na| . We must make thegreat modern decl arati on. the inh-
ni te exists,and, what i smore,itexi stsi na who||y bana|sense,being
neither revealed re| i gi on , nor proved mediaeva| metaphysics , but
being si mp| y decided, under the i nj unction o|being, i n the |orm o|
number. A|| our preparati ons amount on| y to saying, to being able
to say, that the i nhnite can be thought in tbe form ofnumber. We
know it, at least |or that which |a| l s wi thi n the natural ontological
horizon o| number. the ordi nal s. That is i nhnite whi ch, not being
voi d, meanwhi l e does not succeed. It i s ti me to announce the
|ol l owi ng.
Axi om o| I nhni ty. P lmtordnal cxsts.
| 0
KCCUttCHCC, Ot | HUUCtOH
IO. I . A momentary pauseto begin with. l et' s recapitulate whatthe
ordi na| sgive usto thi nk as regards beingqua being, |romtheview-
pointo|a phi losophy i n|ormed by mathematical ontology.
IO. 2. The ordi nal s are, because o| the i ntemal stabi l ity o| their
multiple~bei ng the maxima| identity between belonging and i nc| u-
si on, between ' hrst' presentation through the multi pl e, as element,
and re-presentati on through i ncl usi on, as part andthe total homo-
geneity o|thei rinternal composi ti on every e|ement o|anordi nal i s
an ordinal , theontological schema o|natura|mul ti pl ici ty.
I O. J. The ordi nal s do not constitute a set. no mul ti pl e~|orm can
total i sethem. Thereexistpurenatural multi pl es,butNaturedoesnot
exist. Or, in Lacani an terms. Nature i s not-al l , j ust as i s being qua
being, si nce noseto|a| | sets exi sts either.
1. Theanchori ngo|the ordinals in being as such i stwo|ol d.
The absol utely i ni ti al poi nt that assures the chai n o|ordi nal s o|
i tsbei ngi stheemptyset0,decidedaxi omatical l yassecul arised|orm,
or number~|orm, o| Nothi ngness. Thi s |orm i s nothing other than
the situati on~name o| being qua bei ng, the suture o| every si tua-
tion~being, and o|every l anguage, to thei r l atent bei ng. The empty
set being anordi nal , and there|ore a natural mul ti p|e, wemightsay.
thepoi nto|bei ngo|everysi tuati onisnatura| . Materi a| i smi s|ounded
uponthi sstatement.
84 L\WLLb. WP\PL \L1L1L11Lb
IO. 5. The poi nt-| i mit that ' restarts' the existence o| the ordi na| s
beyond Creek number the hnite natura| whol e numbers, on Creek
number,seechapter I isthehrsti nhniteset,,deci dedaxiomatica|ly
asasecul arised|orm- andthusenti rel ysubtracted|romtheOne~ o|
i nhnite mu| ti p| icity.
From thi s poi nt o|view, the ordi nal s represent the modern scale
o|measurement con|ormi ng tothetwocruci al deci si onso|modern
thought o|natura| mu|ti p| ici ty. Theysaythat nothi ngness i sa |orm
o|natura| andnumerab| ebeing,andthatthe inhnite, |ar |rom being
retained intheOneo|a Cod, isomni present in nature,and, beyond
that, i neverys ituati on~bei ng.
I O. 6. Ourpassage through the ordi na| s or the | i mi ts o|our repre-
sentation o| them arranges them according to an untotal i sable
sequence. Thi s sequence ' starts' with 0. lt continues through the
natural who|e numbers ! ,Z, . . . ,n,n + I , . . . , etc. , numbers whose
|ormo|beingiscomosedoftbecoid i nthe|orms ( 0 , ( 0, ( 0 , ( 0, ( 0 ,
( 0, ( 0 , . . . , etc. . I ti scontinued by an i nhnite recommencement,
guaranteedbytheaxi om' a| i mi tordi nal exi sts' , which authorisesthe
i nscri pti on,beyondthesequenceo|natural who| enumbers,o|,the
hrst i nhnite ordi nal . This recommencement opens a new series o|
successi ons. ,+I , . . . ,+n, . . . ,etc.Thi sseriesi sc| osedbeyond
itse| |byasecond| i mi tordi na| , +,which inauguratesanewseries
o|successi ons, and so on. Thus we achieve the representation o|a
series o| ordi nal s, dep| oyed with no concei vabl e stoppi ng point,
which transits within the i nhnite beyond j ust as i nthe hnite.
I O. 7. The orderi ng pri nci pl e o| thi s sequence is i n |act be|onging
i tse| |. given two ordi nal s W, and W, then W, e W,, orW, e W, ,
or W, W, . e| onging, a uni que ontol ogical re|ation because it
governs the thi nking o| mu|ti pl e~being as such, i s also that which
total l y orders the series o|ordi nal s. So that, i |W i s an ordi nal and
S W its successor, then W e S W . So that, i |n is a natural whol e
number a hnite ordi nal and n
*
rsid Ordi na| s
Once agai n, this typeo|drawing can aid comprehensi on, butcan
a|sobeanencumbrance.Itspri nci pa| |ai | ing,whichitshareswiththe
|amous ' Venn di agrams' usedto teach schoo|chi l dren operations on
sets uni on, intersecti on,etc. , is that it habituates one to i magi ni ng
thata part o|a setis a sort o|conti nuous whol e, a compact nei gh-
bourhood. Now the so| e prerequi site o| a part i s that it shou| d
contai nonl ye|ementso|theseto|whi ch iti sa part. Theseelements
might very wel l be high|y di spersed, scattered to the |ar regi ons o|
theinitialset,andthevi sual schemao|a part,toi ndicate this di sper-
sion, must be ab| e to be punctured, |ragmented, dismembered. The
un|ortunate thi ng is that the drawing then |oses any i ntui ti ve val ue
itmighthavehad. onesi mp|ygetsthei mpressi onthattherearemdny
parts.Inl ooki ngatmyl i nesandtheirembol deni ngs,onemusta|ways
keep i n view, conceptua| | y, that there is no reason |or the |orm o|
a Number to be a conti nuous segment, but that it coul d wel l be
di spersed throughoutthe |ul | extent o|theordi na|~matter, as cou| d
theresidue.
|orexamp|e,theNumbermentionedabove,whichhas|or matter
the |imit ordinal and |or |orm the trip|et 3, 5S7, I I 65 , must be
representedsomehowl i kethis withtheaddi ti ona| compl icati onthat
the inhnity o| i snot truly ' commensurab| e' i na drawi ng .
3
M
bd
W
IOrm
1 1 bb U
W
*
Ordi na| s
I2. 5 The |ol l owing section i s enti rel y dedicated to a phi l osophica|
elucidation o|ourdehni ti on.
Wewi | | begi nwi ththecapi tal N wi thwhich I |urni shNumber.
In a| | attempts undertaken to determi ne the concept o| number,
the probl ems o| termi no| ogy bring the wei ght o|the event to bear
upontheresearcher.
0 \W\L\LT! LL1W11\W, \LL, L\b, Tcb
Take |or examp| e the appe| | ation ' i rrati ona| numbers' . It is tru|y
astoni shi ng to hnd such a designation atthe heart o|mathematica|
rationa| i ty. Thedoctrineo|'cuts'|orgedbyDedeki ndi snothi ngother
thanthedetermi nati on~ whol | yrati onal anddemonstrative~ o|the
concepto|i rrati onal number. utexact|ythesamecou| d be said |or
thetheory o| proporti ons in Eucl i d' s|ements. t is cl ear, then,that
' i rrationa| ' , i nthesemathematica|textswhoserati onal ityistranspar-
ent, paradigmatic even, no |onger has anysignication.
Wemightsaythatwhat makesi tse| |knownherei sa symptomo|
theradica| di ||erencebetueennominationandsignication. A signi -
hcati oni sa| waysdi stri butedthroughthe| anguage o|a situation,the
| anguage o|estab| i shedandtransmi tted know|edges. A nomi nation,
ontheotherhand,emerges|romtheveryi nabi | ityo|signihcationto
xanevent,todecideupon itsoccurrence,atthemomentwhenthis
event~ which supp|ementsthe situation with an inca|cu| ab| ehazard
~ isontheedgeo|itsdi sappearance. Anomi nationisa' poetic'i nven-
ti on, anewsigni her,whicha|hxesto| anguagethat|orwhi chnothing
can prepare i t. A nomi nati on,once theeventthatsustains it is gone
|orever, remai ns, i nthe void o|si gni hcati ons.
Now, at the moment o|the greatCreek cri si s o|number, when
the arri va| o| that at once i nevitab| e and enigmatic event made it
knownthatcertainre| ati onshi ps those,|orexamp| e,o|thediagona|
o| a square and i ts side cannot be ' numbered' wi thi n the code o|
exi sti ng numbers,theworda|ogos arri ved,saturatingandexceedi ng
themathemati ca| si tuati on. Thi sword designatesthatwhi ch, havi ng
no |ogos, nonethe|ess must be decided as number. It inscri bes in a
newsi tuati on o| thoughta nomi nation wi thoutsi gni hcati on. that o|
a numberwhich i s nota number.
Si nce that ti me, the word has | odged itse| |, without alteration,
i n mathemati ca| | anguage. It traverses trans| ati ons, neg| i gi b| e but
subsi stent. Our word ' i rrati ona| ' i s unmi nd|ul o| the i mport o|
the nomi nati on a|ogos to the same extent that the word ' rational '
retai ns l ittle o| the Creek |ogos. And, above a| | , thi s nomination
has ended up taking on a univoca| si gni hcati on. ut the contrast
remai ns, andonecan reactivateit~ asl do~ inbetweensi gni hcation
andthatwhi ch, i nthe wordthati mparts it,contradicts itexp|icit|y.
For thi s contrast i s the trace wi thi n |anguage o| a |oundationa|
truth-event.
It can easi | y be shown that the same app| ies |or ' rea| ' numbers,
or |or ' i magi nary' numbers. Even Cantor' s reason |or cal | ing the
ordi na| sbegi nni ngwi th' transhnite'numbers becomeslessand|ess
obscure |or usnow,connectedasiti stohismi nd|ul nesso|o||endi ng
the sanctity o| the lnhnite wi th hi s inventi on.
L\WLL \ W\L. PW LVLWPL W\1WP1\W 07
The |requency in number-theory o| a gap between the trace o| a
nominationandthesedimentso|si gni hcationi ndicatesthatthethi nk-
ing o|number is a true ecenta| site. it represents in mathematics a
zone o| si ngul ar precarity and sensitivity, struck regul ar| y by the
excesso|aneventthatl anguageandestabl i shedknow |edgesconsi der
destituteo|signihcation,andwhosedesti nycanonl ybesustainedby
meanso|a poetic andsupernumerary nomi nati on.
And thi s is because number i s, amongst the |orms o|bei ng, that
one whi ch opens onto our thought by way o| its organi sation see
IO. 2O . Which means thateverythi ngexcessi ve thatthoughtencoun-
ters in number, everything that interrupts the regi me o| its bei ng
by way o| an evental caesura, has i mmediate di sorgani si ng e||ects
|or thought.
I2. 6. Mydoctrineo|Number,even i |mytermi nol ogyandtheecho
lgivei tinphi l osophi cal thoughtareverydi ||erentthi ngs,i sneverthe-
lesssubstanti al l ythato|' surreal numbers' inventedby|. H. Conway
intheseventies see I . 7 .
.
I makenoclaim atalltohavingproduced
anything new o| a strictly mathematical order. Why, then, change
' surreal number' to j ust ' Number' , with a capita| N?
I t i s basica| l y a poetical di sagreement. The nomi nation proposed
by Conway seems to me rather too narrow, let's saythat it belongs
toanoneiricgenre ' surreal ' obvi ousl ysuggesting' surreal i st' , whereas
theexcessivenatureo|thedi scoveryi nmyviewdemandsthemaj estic
genre o|theepic, somethi ngcapabl eo|conveyi ngthe unanti ci pated
royal arri val o|Numberas such.
More techni cal l y, it seems to me that ' surreal ' remai ns caught
withi nthenoti on~ al l toohighl ychargedwi thmeani ngs~ o|a con-
tinuitytbrougbsuccessiceuidenings. Theadj ecti ve' surreal ' seemsto
suggest itsel |becausethesenew numbers 'contai n' the real numbers
astheycontai nthe ordina| s , asi |thenewspaceconqueredwasan
extensiono|theol d. lnhi sbook,Conshor see I . 7 , seekingtomake
propaganda|orthesurrea| s, decl aresthat'wenowknowtheexciting
|act that the surreals |orm a held contai ning both the real s and the
ordi nal s. '
,
utwhati sexciting i nthediscovery, at least|or the phi -
losopher, goes wel l beyond thi s algebraic col lecti on o| real s and
ordi nal s. It rel ates rather to a complete reinterpretati on o|the very
idea o| number, to the possi bi l ity o| hnal l y thi nki ng number as a
unihedhgure o| mul ti pl e~bei ng. That rea| sandordi na| sari sewi thi n
thi s hgure i s the least o|the matter, a si mple consequence. And al l
themore sogiventhat, a|ongwith real sandordi nal s, themi snamed
' surreal s' containani nhnitel yi nhnitethrongo|numberswhoseexi s-
tence noonehasconceivedo|be|ore, andwhi ch retroacti vel y make
08 \W\L\LT. LL1W111\W, \LL, L\b, TLb
ourhi storica| numbersseem | i keami ni scu| ededuction|roma| | those
abundant varieties o| numeri ca| being. To give j ust one examp|e.
surrea| numbers permita comp|etedoctrinenoton| yo|i nhnitesi ma|
numbers, but o|an i nhnity o|i nhnite|y sma| | numbers, descri bi nga
' downwards' numeri ca| swarmi ngj ustas vastas thatwhi chthe ordi-
na|s descri be ' upwards' .
Tous ea po| i ti ca| i mage. t henomi nati on ' surrea| ' seemst ometo
be marked by thatcauti on, by thatattachmentto o| dsi gni hcations,
thatcharacterisesa certai n 're|ormi st' reservewhencon|rontedwith
theevent. Now, l thi nk~ wager~ thatwemustadoptthe language
o|rupture here,the ' revo| uti onary' | anguage. I wi l | say there|orethat
whattakesp|ace here i s nothing |essthanthe adventto ourthought
o|Number.
Ul ti mate|ythe capi ta| i sati on o|Numberdoesnotso muchdi sti n-
gui sh the genera |rom the speci es subsumed to it whol e numbers,
rationa| numbers, rea| numbers, ordi nal numbers, i nhnitesimal
numbers,etc. ~ a| thoughi tdoes indcedactivatesucha distinction -
as itemphasisesthegapbetweenanomi nation hereat|astisNumber
and the di verse si gni hcati ons that, havi ng once been nomi nations
themse| ves, havebecomethe names o|numbers.
I2. 7. Making thus our wager on the word Number, |et us try to
|egiti mi se the dehni ti on. ' A Number is constituted by the conj oi nt
givenness o|anordi na| anda part o|thatordi na| . '
Theordi nal s are theonto|ogi ca| schema o|thenatura| mul ti pl e.
Anordi na| i sa consi stentnatura| unity,counted |or oneintheonto-
| ogi ca| si tuati on set theory . These uni ties i n the non-numerical
senseo|thepureandsi mp| econsi stencyo|themu| ti p| e, o|the'gath-
ering together' o| the mu| ti p| es that consti tute it, or belong to its
presentation provide the materia| o| Number, that on the basis o|
whichthere i sNumber,ormore preci se| ythatwi thi nwhichNumber
operates a section.
NumDr .
l
l
l
l
buDNumDr .
W
We wri te E/u |or the segment up topoi ntu o|a set E o|ordi na| s
o|whi chuisane| ement. E/ucontai nson| ye|ementso|E| owerthan
u butnotui tse| |,p| easenote ! . TheNumberobtainedbytheparti-
ti ono|Nj
andwhich,byextensi ono|ournotati on, wewil|ca||N, /u
whichmeansthatu mustbe in thematterW o|N, , thatu W,
wi | | haveasitscode. u, F N/u . Itsmatteri su~ thepoi ntatwhich
iti spartitioned, an ordina| thatcomes ' be|ore' W, ~ and its |orm is
composedo|a| | theordi na| si nthe|ormo|N, whi charesma| |erthan
u. y the same token, its residue i s composed o| a|| the ordi na| s
sma| | erthanu whi ch are i nthe residue o|N, .
We shou| dnotethatthi sNumber u, F Nj/u i s exact|y ' | i ke' N,
u to tbe ordina|w (exc|usice) . in |act, up to u, any ordi na| that is
i nthe |orm o|N, i s in the|ormo| u, F N/u too, andan ordi na|
thati s intheresi due o|the|ormerisal soi ntheresi dueo|the latter.
The new Numberobtai nedthrough partition i s, i nshort,the ' i niti a|
segment' o|N, , anexactcopyo|the ' begi nning' o|N, .
Take two Numbers N, and N_. I| there exi sts an ordi na| u such
that N, N(u, where N, partiti onsN_at point u,thenwesaythat
mL L\WLL \ b\-W\L J 5
N, is a sub-Numbero| N,. Or, alternativel y. a sub-Numbero| N, is
a segmentN[u o|N, .
I4. 5. One sub-Number o|N ~ and one onl y ~ can be dehned |or
every ordi nal u in the matter o| N, . there|ore |or every el ement o|
V
'
. There exist exactly W, sub-Numbers o| N, si nce an ordi nal
'counts' the ordi nal s thatprecede it. Ceneral l y speaki ng, a Number
admi tso|as many sub-Numbers asthere are ordi nal s i nits matter.
I4. 6. TakeN, /u,a sub-Numbero|N, . Iti scl ear seethedehni ti ons
and the diagram that u i sthe di scri mi nant o|N[u and N si nce,
upto u,thesetwoNumbers are identical . Now, themattero|N{u
is u. So u is outsi dethemattero|N, /u. Theorder-rel ati on between
N, anditssub-NumberN, /uwi l | there|ore dependenti rel y upon the
location o|theordi nal u intheNumberN, . whetheru i si nits|orm
or in its resi due.
Therearethere|oretuotyeso|sub-Numbers|oragivenNumber
N, .
I Sub-NumbersN, /u,whereu,~ which is atoncethei rmatterand
thedi scri mi nanto|themselvesandN, -isintbeformofN, .These
sub-Numbers are sma||er than the Number N, the di scri mi nant
u, is outside thematter o|N[u, and in the |orm o| N, .
2 Sub-NumbersN, /u
,
where u
,
is in tbe residue o|N, . Thesesub-
Numbersare|argerthanthe Number N, thedi scri mi nantu
,
i s
inthe resi due o|N, and outside the mattero|N[u
,
A sub-Number N[u, o| the hrst type wi l l be ca| led a |ou sub-
Number. A sub-Number o| the second type wi | l be cal led a bigb
sub-Number. The |ol l owing diagram shows a low sub-Numberand
a high sub-Number.
W;
NumDrN; @
l
l
buDNumDrN; /w
.@
[|Ow) l
^
l
l
buDNumDrN; /w
[hi gh)
^
. Then
eitber N, i s a Number |rom the | ow set o| N, , or there exi sts a
Number |romthe | ow set o| N, situated between N, andN
.
Let u be the di scri mi nant o| N, and N, . Since we suppose the
matter o|N, to be |ower than that o|N, , and si nce N, < N[
u is
necessari | y i n the |orm o| N, it cannot be i n the resi due o|N, and
outsi de the matter o|N, , becausethen i t wou|d be i n the mattero|
N, andoutsi dethemattero|N, , whichpossi bi | ityi sexc|udedbythe
|act that M N, < M Nj . Consi derthesub-NumberN
/u. Since u
mc L\WLc \ b\-W\c J 7
is in the |orm o|N it is a sub-Number|rom the low set o| N, it is
smal lerthanN.
Upto, butexcl uding,u, N andN, are identical . I|the di scri mi -
nantu isoutsidethemattero|N andthere|oreequal to i tsmatter,
N isnoneotherthan thesub-NumberN{u, andi sthere|ore a sub-
Number|romthel owseto|N, . I|u i si nthe residueo|N, thenN,
issmal l erthanthe sub-NumberN, /u,becausethediscri mi nanto|N,
and N{uis necessari l yu~ N beingidentical toN, up totheordi nal
[
excl usi ve , andthere|ore al soi denti ca|to N, /u, whi ch i sa parti-
tion at u o| N, up to u excl usi ve . Now, u is outside the matter
o|N/u,sowe mustsuppose that it is i nthe resi dueo|N, . So N <
N{u.
Thus it is establ i shed that N is i ndeed ei thera Number|romthe
lowseto|N, orsmal l erthan a Number |rom the lowseto|N , .
4. 0. An absol ute|y symmetrica| chai n o | reasoni ng woul d prove
that, i| N, < N, and N, is o| a lessermatterthanNthen eitherN,
is a Number |rom the high set o| Nor else there exi sts a Number
|rom the high seto|N si tuated between N, andN,.
4. . Concl usi on. |or every number lower than or, respectively,
higherthan N ando|lessermatterthan N iti sthecaseeitherthat
iti sa Number|romthel owset or,respecti ve| y,thehi gh set o|N
orelsethata Number |rom the l owset or high set can be i nterca-
lated between it and N, . It is there|ore i mpossi bl e |or any o|these
numbers to be situated ' between' Lo Nj and Hi Nj to be higher
thaneveryelemento|Loandlowerthaneveryelemento|Hi whi lst
atthesameti me beingo|lessermatterthanN, . Theresul tisthatN
which i s indeed situated between its low set and its high set, i s o|
mi ni mal matterwi thregardtoal l Numbers thus situated.
4. Z. We wi | l now demonstrate that N is tbe on|y Number o|
mi ni mal mattersituated between i tsl owsetand its hi gh set.
Suppose there exi sted another Number N,, situated between the
low set and high set o| N and o| the same matter as N, . Such a
Number coul d be represented as |ol l ows with some abuse o| our
notation .
Si nceN, i so|thesamematterasNthediscri mi nantuo|N, and
N is necessari | y in the residue o| N, and i n the |orm o|N . Thi s
meansthatthe sub-Number N{u i s i nthe l owseto|N . Now thi s
J 8 \W\L\LT. LL1W|1\W, \LL, L\1b, TLb
sub-Number, N /u, is mani |est|y| argerthan N, thei rdi scri mi nant,
once again, i su, which i si ntheresi dueo|N, andoutsidethematter
o| N{u . Thus it cannot be the case that N i s | arger than ecery
Number in the | ow set o| N, .
H we hadthearrangement.
~ we cou| d demonstrate in the same way that there must exist a
Number |rom the high set o| N, whi ch is sma| ler than N agood
exerci se .
lt |ol l owsthatN, real l yi sthe on| yNumbero|mi ni mal matterto
be si tuated between Lo Njand Hi Nj.
N, isidentied, ' uptomatter'~ ast heuni quemi ni mal e|emento|
that matter, once the ' between' position has been hxed~ bythecut
o|twosets o|Numbers,thel owsetandthehighset.We sha| | write.
N Lo Nj/Hi Nj. We sha| | ca|| thecutLo Nj/Hi Njthecanoni-
ca| resentation o| N,
-_
N|N
L\b. mL \WLPLWPL mL\L 4
-_
Na ^
~
NaN
`
K L J. I| rules ! and2 do not appl y|or a givenW, buti nstead
we have an Nb such that Id. W, Nb with W i n the |orm o|Nb,
thenj W F. | |cases I and2 donotappl y, weputWinthe|orm
o|Ni each time that, at the end o| an Nb/W identi cal to Ni/W,
W is in the |orm o| Nb.
No
N|
w
K L 1. I| rul es ! and2 do not appl y, andwe have an Na such
that Id. W,Na with W inthe resi dueo|Na,thenj W R.
N
Z
w
z w
-
Na ^
.
w
l
-
P
N "
W
Cl osure is enti rely possi bl e, si nce, beyond ordi nal W, a|| N| and
Naaredi scri mi nated by Ni before W through rules I to4, atoint
W by ru|e 5 , and our rules re|lect the |act that this di scri mi nation
always goes inthedi rection N|< Ni< Na.
This regul ati on, however, merits i mmediateexami nati on.
L\1b. 1 mL \WLPLWPL mL\L 5
I5. I4. It is essenti al toconhrmthatourrul esdo notcontradict one
another.
Take |or example rules I and 2. I|by some mi schance i t shoul d
happenthatattbesametimeId. W, Nb andId. W, Na , wi thW the
matter both o| Nb and o| Na, then W would have to be pl aced
si multaneous| y i n the |orm and i n the resi dueo|Ni . . .
ut such a case cannot ari se. ecause, i |W i s the matter o|Nb
and o|Na, since every Number o| is smal l erthaneveryNumber
o|A,iti sthecasethatNb< Na. And,sincetheyhavethesamematter
W, theirdiscri mi nantmustbe less than W, which i sto say thatthere
is atleastoneordi nal u W whi ch doesn' thave thesamelocation
inNbandi nNa. Itisthere|orenot possible |or sub-NumbersNb/W
and Na/W to be identical . Thi s means, moreover, that, i| both
Id. W, Nb and Id. W, a , thei r common identity must be Ni/W. So
rules ! and2 are compati b| e.
uttakerules3 and4. I|bysomemi schancethereisaW|orwhi ch
rul es ! and 2 do not appl y, and there exist Nb and Na |or whi ch,
hrstly,Id. W, Nb andId. W,Na , and, second| y, W is i nthe|ormo|
NbandW is intheresidue o|Na, W woul dhave to be pl aced both
in the |orm and i n the residueo|Ni.
ut o| course such an un|ortunate ci rcumstance cannot ari se.
ecause, i |W i s i nthe resi dueo|Na and in the |orm o|Nb, then it
di scri mi nates between Nb and Na. ut thi s could not be thei r dis-
criminant, otherwise it woul d be the case, with regard to thi s | oca-
tion, that Na < Nb, whi ch is prohi bited by < A. There|ore the
di scriminant is sma||er than W, and, as be|ore, it i s i mpossi b|e that
Nb/W Na/W, which makes it necessary to suppose their common
equal ity to Ni/W.
I 5. I 5. Now we wi l l see whether, wi th these rul es, we do i ndeed
preserve our chances that Ni wi l l sl i p i n between a|| the Numbers
o| and a|| the Numbers o|A, and there|ore between all Nb and
al l Na.
Whenweapp| yru|e ! , wegivetheva| ue | totheordi nal W. Thi s
certai nl ycannotmakeNibecomel essthan a Numbero|, because,
i |Wisthedi scri mi nanto|N/ando|anNb, beingi nthe|ormo|Ni,
itwi l l always be thecasethat Nb < N/.
ut, given the |act that we put W in its |orm, don' t we ri sk Ni
becoming larger than a Numbero|A? Forthi s it woul d have to be
thecasethatW was the di scri mi nanto|Niand o|anNa. utthen
it wou| d a| so ul ti mately be the di scri mi nanto|the Nb o|whi ch W
is thematter sinceweappl yrule ! ando| Na. Now, weknowthat
Nb5 Na. I|thei rdi scri mi nant isthe matter o|Nb, it must be i nthe
I 5Z \W\L\LT. LL1W1|\W, \LL, L\b, TLb
|orm o| Na. Thi s |ocation o| W ~ W being the di scri mi nant o| Ni
and Na ~ prohi bits us |rom havi ng the order Na < Ni.
So, inapp| yingru| e !, wecanbesurethatthe|ocationthatwehx
|orWi ntheNumberNiunderconstructionentai|sneitberanunue|-
come andjrustrating Ni < Nb, nor a jata| Na< Ni . At pointW, Ni
stays si tuated ' between' and A.
Theexami nati ono|theotherru|es|eadsustothesameconc| usi on.
Let' scarry outthi s exami nation |or ru| e 5 |orru|es 2, 3 and4 the
methods are the same as |orru|e !. Letthe reader prove this as an
exerci se, wi th the he| p o|the note, ' and above a| | o| the diagram
bel ow.
Ru| e5 comes i ntopl ay when rules I to4 are not appl icabl e. The
W underconsideration makes no identihcation between anyNb or
Na and Ni i| W is |ocated as matter o| Nb ru| e ! , matter o| Na
ru| e 2 , |orm o| Nb ru| e3 or residue o|Na ru|e4 . I|, then, it is
thecasethatI d. W, Nb , orId. W,Na , itisbecauseWisintheresidue
o|Nband/ori nthe|ormo|Na.Thesetwohypothesesarecompatib|e
thi s time. the i dentihcations i n question cou|d obtai n, and W cou|d
be botb i n the resi due o| Nb and i n the |orm o|Na. Ru| e 5 then
compe| s us to make the gesture o|c| osure j W M, which deter-
mi nes W as matter o| the i nterva| l ic Number Ni. |n the Ni thus
c| osed,W i s|ocatedoutsidethematter. Canthi schoicemakeNi|ess
thansomeNa, accordingtothere|ation R < oM? No,because,i |W
di scri mi nates between thi sNa andNi, with W in the resi due o|Na,
thi s wou| d be a case |or the app| i cati on o| rule 4, whi ch wou|d
exc| udetheuseo|ru|e 5. And, i nthesameway,itcannotbethecase
thatNi< Nbaccordingtothe re|ationoM< F, becausethe| ocation
o|thedi scri mi nantW inthe|orm o|anNbcompe| s, |or W,theuse
o|rule 3 rather than ru|e 5. Ru| e5, appl ied when it is proper to do
so, cannot entai l that N/ < Nb. And, as it cannot entai l Na < Ni
ei ther,itleavestheprocedureNi,atpoi ntW,i nthei nterva|between
andA.
Soiti sthat,ateveryordi nal poi ntW,theapp|icationo|ourru|es
' | oca| | y' si tuates Ni, in the |orm o|the sub-Numbers Ni/, i n an
i nterva| l ic posi ti on with regard to andA. Our step-by-step | abour
i spursuedwi thout Nisurpassi nganyNa, orbeingsurpassedbyany
Nb. Weconserve ourchances a| l thewaythrough theconstruction.
Anen| argeddi agramshowshowNiproceeds . Wehave, above,some
NumbersNbo|,bc| ow, someNumbersNao|A, and,i nthemi dd| e,
the process o|Ni. The ordi na| sW, toW
N/ -
W
.
Z
`.
X X
f
1.
`
.
Z
ru| 1 ru| Z ru|3 ru| 4 ru| b
w "
HO;
HO
Hb
&
H;
H
H
i IIu| s 1 andZ dOnOtapp| y i IIu| s 1 and4 dOnOtapp| y
The whole subtlety o|the enterprise l ies i n mi ni mi si ng the ri sks,
inmaki ngsurenottoincreasetheval ueo|Ni topoi ntV i nparticu-
l ar, in notgiving it val ue F unti l one is sure thatthi s i ncrease wi l l
havenoe||ectwithregardtoA, andi nnotdecreasi ngthi sval ue the
valueR unlessa| l e||ect with regardto isexcl uded. ThusNi, per-
petual l y maxi mi sing the neutral i sati on o|the e||ects o| order, sl i ps
in between and A.
And, when thetime |or cl osure arrives rul e 5 , |or a W si tuated
betweenresidue Nb and |orm Na , we retroactivelysettheseal on
thetacti cs,arrivingata Numberg|oba||ysi tuated between andA,
because it is protected, |oca||y, |rom any prohi bi ti on agai nst thi s
possi bi l ity.
I5. I6. lundamcntaI thcorcm, sccond part. lncty
We have j ust indicated the strategy ~ combi ni ng l oca| , neutra| i sing
patiencewitha global deci si ono|cl osure~ thatal l owstheexi stence
to be establ ished, in every case, o| at least one Number situated
between two sets o| Numbers and A such that i n an abuse
o| notation < A. In vi rtue o| the pri nci pl e o| mi ni mal i ty o|
ordi nal s, there must exi st at least one such Number o| mi ni mal
54 \W\L\LT. LL1W11\W, \LL, L\b, TLb
matter. wewi l l consi derthe property ' bei ngthe mattero|a Number
si tuated between and A', and the mi ni ma| ordi na| |or this
property.
Itremai nsto beshownthata Numbero|mi ni mal mattersituated
between and A is uni que, whi ch wi | l permit us to identi|y tbe
numerica| cut between andA.
Suppose that there were two. we woul d have the |ol l owing
arrangement.
~ with N
< N meansthatthe
di scri mi nantmustbei nthe residueo|N, andinthe|ormo|N_.Take
this di scri mi nant, u. Consi derthesub-NumberN
/uo|N
.
. Si nce u
is in the resi due o| N_ thi s sub-Number be|ongs to the high set o|
N, . it isthere|ore | argerthanN , . ut,since u i sthedi scri mi nanto|
N[ andN,, andthere|orethesma| |estordi na| todi scri mi natebetween
them, then N
/u< N,.
Sohna| | y, we have the arrangement.
Which i sto saythatN{u is a|so situatedbetween andA. utthis
i s i mpossi b| e, giventhatit i so|lessermatterthan thato|N]
which
i s supposed| y mi ni ma| |or the |ocationbetween andA.
We mustrejectouri ni ti a| hypothesi s. there arenottwo Numbers
o|mi ni ma| matter between and A, there is on|y one.
Thetwosets andA there|oredetermi neuni voca| | yoneNumber
o|mi ni mal mattersituatedbetweenthem. ThisNumberwi | | becal |ed
the cut o| and A, and we wi | l posi t that N /A, each time that
N can be identi hed asthe unique cut o| ando|A.
I 5 . I 7. There i soneverypecu| i arcaseo|thecut. taketwoNumbers
N[ andN, such that N[ < N, . Andtake, |or andA,the sets which
have |or e| ements on| y N[ and on|y N,, that i s, the sing|etons N
and N, . We remai n wi thi n the parameters o| the |undamental
theorem, which i s to say that there exi sts a uni que Number N
,
o|
mi ni ma|mattersi tuatedbetweenN
|
andN. Wethusrediscoverhere
L\b. mL \WLPLW1PL mL\L 55
thecl assi ccondi ti ono|densityo|an order,whi chwehavementioned
with regard to the rational s. between two Numbers there a|ways
exi sts a thi rd, andthus an inhni ty o|Numbers . |or us, besi des thi s,
there is an addi ti onal determi nati on. between N[ and N, there is
always a uniqueNumbero| minimal matter.
Wecan there|ore put |orward a pri nci pl e which everything gives
ustoexpect,ando|whichtheuni cityo|thecutprovidesthei nhnitely
strongconcept. the order o|Numbers i sdense.
utmorepro|oundthanthis isthecorre|ation i nthoughtbetween
this number|ess density, this coal escence whi ch i nconsists in the
approach to a|| Number, and the possi bi | ityo|counti ng |or one the
Numbero|mi ni mal matter which cuts the |abric wi thout l acuna o|
numerica| ity ata certain poi nt.
' Cut' here designates the i nci si on o| thought i n the inconsistent
|abric o| being, that which Number sections |rom the ground o|
Nature. Iti saconcepto|si ngu| arity. Perhapstbeconcepto|si ngu| ar-
i ty, at | easti ntheordero|being. Forthere i sthatothersi ngu| arity
whichcuts across being, and which isthe event.
|
C lUHDCtCSS CHC3HtHCHt
O tC |3CC O luHDCt
6. . A review, to begi n with.
! A Number is an ordi nal ~ the matter o| the Number, M N , in
whichi ssectionedaparto|thatordi nal ~ the|ormo|theNumber,
F N . We also consider that part o|the ordinal~matter that |al l s
outsi de thesecti on, outsi dethe|orm. theresi dueo|the Number,
R N .
2 The location o| an ordi na| withregardto NumberN is its posi -
tion in bel ongi ng ornon-bel ongingto oneo|thethree 'compo-
nents'o|Number. |orm,resi due,matter.Therearethreelocations.
i nthe |orm, i nthe residue andoutsi de thematter.
3 The di scri mi nant o| two Numbers N, and N is the sma| lest
ordinal not to be located si mi l arly i n both Numbers. I| no
such di scri mi nant exi sts, then the two Numbers are equal they
have the same matter, the same |orm, and there|ore the same
resi due .
4 Dependi ng on the location o| thediscri mi nant, we candehne an
order-rel ati on transi tiveandnon-reHexi vebetweentwodi ||erent
Numbers. Wedenotethi sthroughN, < N and bysayi ngthatN,
i s smal l erthanN_ . This relation i sa total orderoverthedomain
o|Numbersi nthesensethat,giventwodi ||erentnumbersN, and
N, it is al ways thecaseei therthat N, < N or N < N, .
5 Theorder-rel ati on is dense. given two NumbersN, andN_ where
N, < N, there always exi sts an N, whi ch comes in between N,
andN . P < N, < N .
W\LLLbb LWLmPWLW1 \ mL LPLL \ W\L 57
6 Takea NumberN, o| matter W, and an ordi nal u, smal |erthan
W, sothatu, E Wj. TheNumbero|matteruwhichi sexactly
l i ke N, up to u, excl usive the |orm o|this Number being con-
stituted by al | ordi na| s smal |er than u, that are i n the |orm o|
Nj wil l be cal led a sub-Number o| N a sub-Number o| N,
which is a 'cut' o|N, at poi nt u, . We denote thi s sub-Number
N{u
.
7 Amongstthesub-Numberso|Nsomearesma| | erthanN, when
u, isi nthe|ormo|Nj, othersarel argerthan N, when u, i si n
theresi dueo|Nj. The|ormer, gathered together,constitutethe
lowseto|Ndenoted by Lo Nj. Thel atterconstitutethehigh
seto|N denoted by Hi Nj.
S Itcan be proved that N, is thecut o| its l ow set and its high set
inthe|ol l owingway.i ti stheNumbero|mi ni mal mattersi tuated,
accordingtotheordero|Numbers, between the l owsetandthe
high set l arger than every Number i n the low set and smal ler
thanevery Number i nthe high set .
Moregeneral l y, itcan beshownthat,given two sets o|Numbers
suchthata|lthoseo|thehrstsetaresmal lerthan all thoseo|the
second,thereexists a uni queNumberN o|mi ni mal mattersitu-
atedbetween thesetwo sets. Taki ng two such sets and A, we
cansaythatthi sNumberNisthecuto|andA,whi chi swritten
N /A. Thus N, Lo Nj/Hi Nj. This speci hed cut is cal led
the canonical presentation o|N, .
I6. 2. We wi l l now take a strol l through the borderless domai n o|
Numbers,pointingoutsomeo|them, andi nparticul aral l thosetra-
ditiona| species. natural whole numbers, negative whole numbers,
ordi na| s, rati ona| s, real s. utal sosomanyothers,whi chhnitudeand
thewretchednesso|ouri nheritedpracticeo|Numberkeeps|romus.
Howneg|igi blearenumbersamongstNumbers !Thebeingo|Number
exceedsineverydi rectionthatwhi chweknowhowtonegotiate.Our
strength, however,i sthatwepossessa wayo|thi nki ngo|thi sexcess
o|beingover thought.
I6. J. Zero
Therei sa verydistinctiveNumber,theNumber 0, 0} , whose matter
is the void, and whose |orm, consequent| y, is also the void. Thi s
Number inscri bes as numeri cal gesture the absence o|everygesture,
in de|aul t o| any matter. It is absol ute Zero, the Number wi thout
numerical ity. O|course, its ontological |oundation i stheempty set,
the suture to being o| every text, the advent o| being qua being
to the thi nkab| e. There i s no doubt that it is this void that we are
58 \W\L\LT. LL1W11\W, \LL, L\b, TLb
thi nkinghere as Number. ut thi nkingitas Numbermakesa di ||er-
ence. It is not|or examp| ethe samethi ng, not the sameNumber,as
itwou| dbe i |thevoi dwason| yi ntheposi ti ono|matter,oron|yin
the position o| |orm. The number 0 , 0 , or ! , 0 , whose |orm is
void,cannotata||bei dentihedastheZeroo|Number. Certai n| y, the
act o|secti oni ng it i s equal | y nul l , i t doesn' t extract anything |rom
its matter, but thi s matter subsists unaltered, constituting, in the
absenceo|any act,the real substanceo|thatwhi chthi sgesturenever
even started. The only true Zero i s that which subtracts itsel ||rom
a| | numeri ca| gesture because it has notbing, no materi al or natura|
mu| ti p| icity, upon which this gesture cou|d be carried out or not
carriedout. Zeroisthusoutsidea||appreci ati on, positiveornegative,
o|the act o|numeri ca| secti on. It i s, very precise|y, neither positive
or negati ve. It subsi sts in itse| |, inaccessi b| e to a| l eval uabl e action.
Zeroi s beingquabei ngthoughtas Number, |rom wi thi nonto|ogy.
I6. 4. Si ncewehavesaid, a | itt|emetaphori ca| | y, thatZeroi sneither
positive nornegative, can we not give a precise numerical sense |or
these adj ecti ves ? E|ementary arithmetic a| ready i ntroduces ~ to the
obscure re| i sh o| every schoolchi | d ~ who|e negative numbers such
as
=
4
Consi der |or examp| e the Number N, whose matter is the | imit
ordi na| u, andwhose|ormhason|ytheordi nal d ase|ement. Which
i sto saythatthe |orm isthesi ng|eton o|0, andthatthenumberN
canbewri tten. u, 0} } . | |wecompare thi sNumbert oZero,thati s,
to ( 0, 0 , we can c| ear| y seethat thei rdi scri mi nanti s 0, which is in
the |orm o|N, andoutsi de thematter o|Zero anyordi na| whatso-
ever,inc|uding0, isoutsidethemattero|Zero,whi chhasnomatter .
The ru| es o| order indicate to us then that N, is |arger than Zero.
It makessenseto saythatN, is ositice.
Consi der now the Number N, whose matter i s a| so the | imit
ordi na| u, but whose |orm i s thi s time the sing|eton o| ! . This
Number N, can be wri tten u, I } } . Once agai n, the di scri mi nant o|
N, andZerois0. Itcanbe|oundthi sti meintheresi dueo|N_si nce
the |orm o|Ndoesnotcontai nd i tonl ycontai ns I , but its matter,
u, doescontai nit,u beingthe| i mi tco| |ectiono|al|thehni teordi nal s,
i nc| uding d o|course. We can see, then, that 0, bei ng outside the
matter o|Zero and i n the resi due o| N, N,, i s sma||er than Zero.
So i tmakes sense to saythat N i snegatice.
I6. 5. Posi ti veNumbers andnegative numbers
Our examp|es can be genera| i sed i n the |o| l owing |ashi on. the dis-
cri mi nantbetweenZeroandanyotherNumberwhatsoeverisa|uays
W\LLLbb LWLmPWLW \ mL LPLL \ W\L 5
the empty set 0. |orZero is the onl y numberwhose matter is voi d,
andthere|oretheonl yNumberwhere0 i slocatedoutsi dethematter.
|orevery otherNumber, 0 i s l ocated i nthe |orm or i n the resi due.
And,si nce0 isthesmallestordi nal , iti scertai nl ythediscri mi nanto|
Zero ando|every numberotherthan Zero.
Thesituationi svery simple,then. i |anyNumberotherthan Zero
has 0 i n its |orm, then it is l arger than Zero. I|, on the other hand,
d is i n i ts resi due, it is smal |er than Zero, si nce 0 wi | | always be
outsidethemattero|Zero.
Wewillthusdehneposi ti veandnegativeNumbersinthe|o| | owi ng
way. A Numberisositiceij0isane|ementojitsjorm. Itisnegatice
ij0 is ane|ementojits residue.
I6. 6. Somesignihcantconsequenceso|thedehni ti ono|positive and
negativeNumbers.
! Si nceZero is wi thoutmatter,wi thout|orm andwi thoutresi due,
d cannot be an el ement either o|the |orm or o| the residue o|
Zero. The description i n I6. J i sthus trans|ormed into a mathe-
matical concept. Zero is neitherpositive nornegative.
Z Zero is not at al l the smal lest Number. It is l arger than every
negativeNumber,andnegativeNumbersconsti tute,toal l appear-
ances, a l i mitless, inconsi stent domai n. etween the negative
NumbersandthepositiveNumbers,Zerol iesatthecentreo|that
which hasnoperiphery.
3 Zero is not dehnedbyextrinsicoperati ons, it is not i ntroducedas
the' hrst'term o|a successi on, norasthe' neutralelement' o|an
operation(anattri butewhichitpossessesi ncidental l yandsecond-
ari ly . It is characterised by its numerica| being. We have not
strayed|romourontological path, which subordi nates all opera-
tionaloralgebraicconsi derationstoi mmanentcharacteri sati on.
4 More general | y speaki ng, the categories ' positive' and ' negative'
have been introduced into the consideration o| the order o|
Numbers onl y |or convenience o|exposi ti on. The predicate ' has
d i n its |orm' or ' has 0 i n its resi due' are whol l y i ntri nsi c. The
examination o|the bei ng o|a Number al one tel | s us whether it
is positive or negative, wi thout comparing it with any other
Number.
J Positivity does not depend i n the |east upon the ' quantity'
o| the matter o| a Number, or the si ze o| its |orm, but on| y
upon the l ocation o| the voi d. The Number Z, 0} } i s posi ti ve,
whi lst the Number ( , ( 0 , whose matter is and whose
|orm takes i n al| o|this matter apart |rom 0, i s negati ve. There
0 \W1\L\LT! LL1W11\W, \LL, L\b, TLb
is hnite posi ti ve numeri cal i ty, and i nhnite negative numericality,
regardless o| whether the question is one o| matter or one
o| |orm.
6 I|a NumberN is posi tive,then,since0 is in its |ormandis neces-
sari l ymi ni mal , it|ol l owsthatecerysub-NumberN/uo|N except
|or Zero, whi ch is a sub-Number o| every Number, the sub-
Number N/O is al so posi ti ve. the elements o|the |orm o| N/u
are actual l ythe elements o| the |orm o| N up to the ordi nal u,
and, unless u is 0, 0 wi l l be amongst these elements, since N is
posi ti ve. Si mi l arly, every sub-Number o| a negative Number N,
apart |rom 0, i s negative it has 0 in its resi due, as N does . |n
particul ar, the non-nul l elements o|the low set and al l the ele-
ments o|thehigh seto|a positi ve Numberare positive, l i kewise,
all the elements o|the low set and all the non-nul l elements o|
the high seto|a negativeNumberare negati ve.
I 6. 7. Meditation on thenegative
Theconcept o|negativity, as proposed bythe uni verse o|Numbers,
i severy bi taspro|oundas itsapparentparadoxical ity suggests. One
mightthi nkathrstthat negativityconsistedpreci sel yi ntheincorpo-
rationo|thevoi di ntothe|ormo|Number. Isn'ttheremorepositivity
in a |orm that has not been marked by the stigma o|nothingness?
I sn' tthe|enitudeo|thenumeri cal secti on betterassured i |itexpels
|rom its posi ti ve production that dubi ous indexo|the multi pl ethat
al lows nopresentati on?
Number enj oi ns us here to di sabuse ourselves o| any remai ni ng
temptation towards an ontol ogy o| Presence. || thc lack o| voi d in
the |orm o| Number seems ' positi ve' , thi s is the case onl y i | we
i denti |y bei ng wi th the pl enitude o| the e||ectively presented. We
are then tempted to i ndex to the negati ve every occurrence o| that
which presents nothing, every mark whose mul ti pl e~re|erent i s sub-
tracted. ut the truth is entirely otherwi se. it i s precisely underthis
mark that being qua being comes to thought. | n which case there
is |ess ontological dignity in a Number that does not retai n this
mark in its |orm than i na Numberthatdoes so retain i t. |t is |rom
the poi nt o| the voi d that the dignity o| being, the superiority o|a
Number,can legitimately be measured. Numerical superiority is the
symbol o|thi s superi ority with regard to what is at the disposal o|
thought.
The ontol ogi cal cl arity |or a subtractive ontology o|the state-
ment ' aNumber i snegative i |the mark o|the void i si n its residue'
underlies whatmightbecal ledtheethi cal verdicto|Number. I hope
to show one day that what i sEvi l , i nany si tuati on wherethevoidis
W\LLLbb LWLmPWLW1 \ mL LPLL \ W\L
attested to and such, si ngul arl y, are post-evental si tuati ons , is the
treatingo|thattesti monypreci se| yasi |itwerea resi due o|thesi tu-
ation. Whatis Evi | i stotakethevoid,whi chi stheverybei ngo|the
situation,|orunformed.The|ormso|Evi l decl are substance|ul | and
l uminous, they expeleverymark o|thevoi d, they rusticate, deport,
chase o||, extermi nate those marks. uttheverdict o|Numbertel l s
us. itisinthi scl ai mto|ul l substance,i nthi spersecuti ono|theoccur-
rences o|the voi d, that res ides, preci sel y, thenegati ve. A contrario,
positivityassembl esandharboursthemarki ng o|thevoi dwi thi n its
|orms. And, this beingso, itaccords thought to being i nan i ntri nsi -
ca| | ysuperi or|ashi on.
Totakethevoi d|ora resi duei sa negativeoperati on,a detestab| e
' puri hcation' . Every true pol itics, i n hdel i ty to some popul ar event,
takesontheguardi anshi po|thevoi d~ o|thatwhichisunpresented,
notcounted, i nthe situation ~ as its highest duty i n thought and in
acti on. Everypoemseekstouncoverandtocarrytothe|ormal l i mits
o|languagethe latent void o|sensi bl ere|erents. Every sci encetreats
positively the resi due o| its own hi story, that whi ch has been l e|t
outside o|its |orm, because it knowsthatpreci sel ythere dwel l sthat
whichwi l | re|oundandre|ormul atei tssystemo|statements. Al l l ove
ultimate|yestabl i shes itse| |i nthe j oyo|theemptyspaceo|theTwo
o|thesexeswhichit|ounds,and|romthis pointo|viewtheromantic
idea o| a |ul l , |usi onal l ove, under the puri hed sign o|the One, is
preci sel ythe Evi l o|love.
Thenegative,as itsconceptisestabl i shedbyNumber,isapunctua|
di scord o| thought and o| bei ng. 'Negative' i s every enterprise o|
|ormation whi ch abandons, |ai l s to cheri sh, thi s uni que point upon
whose basi s there can be |orms and the un|ormed, |orms and resi -
dues, thepoi ntwhere being, i nthegui seo|theunpresented, assures
usthatwe donotthi nk i n vai n.
I6. 8. The symmetriccounterpart o|a Number
Notmuchneedstobedoneinorderto' negativise'aposi ti veNumber.
itsu|hcestoremove0|romits|orm. Numberteachesustheprecarity
o|the positive, its a-substanti al character. It is at the mercy o|the
trans|erofonesing|eointtotheresi due. And this point i sthemost
transparent o|a| l , that point that i s notsupported by anymulti ple-
presentation. the mark o|thevoi d.
Thi s i dea o|the trans|er o|a term |rom one | ocati on here, the
|ormtothe' opposite'l ocati on here,theresi due canbegeneral i sed.
Takea NumberN and the Number obtai ned by incertingtbeform
and tbe residue ofN. The resi due o| N is promoted into the |orm,
whilst al | the terms o| its |orm are demoted into the resi due. Thi s
Z \W\L\LT. LL1W11\W, \LL, L\b, TLb
new Number operates, in the same ordinal~matter, a cut i nverse or
symmetrical to that whi ch dehnes N. We wi l l cal l thi s Number the
symmetriccounteqarto|N indicatinga symmetrywhosecentre,as
we shal l see, is Zero . We wi l l denote by -N, and read as ' mi nusN' ,
thesymmetric counterparto|N.
A Number and i ts symmetric counterpart can be presented as
|ol lows usi ngthe di agrams introduced i n 1 Z. 3} .
| [N) | [N)
*
NumDr N . B
H [N) H [N)
| [-N) | [-N)
+
NumDr-N . W
H [-N) H [-N)
It i s clear i nthe di agram that N i s positive 0 i s in its |orm and
that ~N, its symmetric counterpart, i s negati ve. Evidentl y, thi s wi l l
al waysbethecase. Conversely,whenNisnegative 0i si ni tsresi due ,
~N is positive 0i s in i ts|orm .
I |wetakethesymmetriccounterpart~No| N, thenthesymmetric
counterpart~-N o|~N, we arrive back atN. wehavechangedthe
|orm into the resi due, and then the resi due into the |orm. It i s that
old lawl earntintheschool room,whichspontaneousl yopposesitsel |
both to Hegel andto i ntui ti oni sm. two negati vi si ng operations take
us back tothe i ni ti al a|hrmati on. However, one must sti l l takecare,
as al ways, to note that~ -N i s not necessari l y a positive Number.
I| the starting Number N is negative, its symmetric counterpart is
positive,andthesymmetriccounterparto|itssymmetriccounterpart
~ whi ch is itsel |~ is onceagai nnegative. Thesign '-' is nota sign o|
negati on butoneo|symmetry. Whi chconhrms |or usthatthenega-
tive unl i kethe symmetrical is notan operati onal di mensi on. |tis a
structural predicate o| the being o| Number.
I6. 9. A |ewexampl es.
Whati sthesymmetriccounterparto|theposi ti veNumbcr( , ( O ?
I t i sthe Number ( , ( ~ 0 , whose |orm i s al l o| except |or O.
It i s obvi ousl ynegative.
Whatisthesymmetriccounterparto|thenegativeNumber( 2, ! ,
whose |orm is thesi ngleton o| ! ? |t i sthepositive Number 2, 0 ,
whose|orm i s the si ngleton o| 0 . |n |act,theonl y elements o|the
W\LLLbb LWLmPWLW \ mL LPLL \ W\L J
ordi na| 2 are 0 and I. In the |ormercase, 0 constitutes the resi due,
inthe | atter,the |orm.
Takea positive NumberN anditssymmetriccounterpart ~N. To
every Number si tuated ' between' Zero and N we can make corre-
spond a Number situated ' between' ~N and Zero. we j ust take its
symmetric counterpart. In |act, it is clear that, where it i s the case
that Zero < N, < N, it is also the case that ~N < ~N, < Zero. Thi s
can beverihed by exami ni ngal | possi b| ecaseso|i nequa| ity between
N, and N ( see I 3. I J , remembering that ~N swaps the |orm and
residueo|N.
Therearethus' asmany' Numbersbetween~N andZeroasthere
are betweenZeroandN, becausethe|unctionj( N, ~N, is a bi uni -
voca|correspondence between thetwo' sl ices' o|Numbers . uttake
care! The correspondence i s not between two sets. The i nterval
between Zero and N is nota consi stent total i ty any more than the
entire domain o|Numbers i s. Thi scan easi | y be proved. taki ng, |or
examp|e, the Number( 2, ( 0 , we knowthata|| Numbers o|thetype
( W, ( O , whereWi sanyordi na| whatsoever| argerthan2, aresma| | er
than ( 2, ( 0 . It i s the law that we di scovered in I J. I6. i |the |orm
staysthesameandthematterisincreased,theNumbergetssma| | er.
Meanwhi |e,a| l Numbers( W, ( O areposi tive,since0i si nthei r|orm.
Sothereare ' asmany' o|thesepositiveNumbers~ thati s, thosesi tu-
ated between Zeroand ( 2, ( 0 ~ as there areordi na| s| arger than 2.
utweknow|or sure that' a| | ordi na| s| argerthan2' is an i nconsi s-
tent mul ti p| icity.
Keepingthi si nmi nd,wecana| l owourselvestovi sual isesymmetry
inthe|o| | owi ngway,theaxisbeingthato|Numberstakenaccording
to thei rorder.
W
-N
W W W W
N
Thisj ustihes ourspeaki ngo|a symmetry whosecentre is Zero.
I6. I O. Jhc ordnaIs
Weannouncedalongtimeago( see|orexamp|e8. 8 thattheordi nal s,
whi chconstitute the stu|| o|the bei ngo|Numbers, can a| sothem-
se|ves be represented as Numbers. What do the Numbers that
representordi na| s |ook | i ke?
Let' sconsi derthe Number(W,W , whosematter is theordi na| W
and whose |orm retai ns a|| o| thi s matter. In other words, thi s is a
case o| a maxi ma| numerica| secti on, or o| exhi biting ~ as certai n
contemporary artists have done ~ the raw materi a| al one as the
4 \W1\L\LT. LL1W11\W, \LL, L\b, TLb
' work' . The mostinterestingthi ngis tocomparethe Number W,W
with the Number W, O , whose |orm i s voi d. In both cases, we |eel
that the act is somehow nul l . ut the two nul l i ties are di stinct. The
Number W, W treatstbeubo|eojtbematterasajorm,whereasthe
Number W,Odoesnotinscribeanyjorm intbematter.Thei mmedi -
ateresul tisthat W,W ,|oranyWotherthan0, i sapositiveNumber,
whereas W,O is a negativeNumber rememberingthat 0 isnot an
element o|0, andthatthere|ore 0 i s not i nthe |orm o| W, O . We
di scern a certain posi ti vi ty in the hrst gesture which designates the
matter as |orm, whereas the second, overwhelmed by the matter, is
unabl eto designate anythingwhatsoever.
ut i | W, W is treated as a posi ti ve production, the assumption
o|amatteras|orm, itremai nsneverthelessa|actthatthi sproduction
repeatstheordi nal~matter. This redoubl i ngo|theordinal asmatter,
then as |orm |egi ti mates our treating Numbers o|the |orm W,W
as theNumeri cal representatives o|the ordi nal s.
Wewi l l there|oresaythe|ol l owi ng. Anordina| wisresentedas
Numberin tbeform ( w,w); tbatis, tbe Numberubosematteris w
and ubose jorm is w. Thi s presentation is the ordi nal ' itsel|', but
tbougbtas Number.
I 6. I I . To be sure that this i s the ordi nal ' itsel |' , we must expl icitly
prove that the order o|Numbers respectsthe order o|the ordi nal s,
whi ch i s bel ongi ng. I n other words, that i |it i s the case~ ordi nal s
bei ngthought i n thei r own domai n ~ that W, W, then it i s al so
the case ~ ordi nal s being thought as Numbers ~ that WW <
W ,W .
Thi s i s obvi ousl y the case. ecause the di scri mi nant o| WWj
and W,W i snecessari l ythesmal lestordi nal to belongtoW, and
nottoW,ortobelongtoWandnottoW, .I|W W, thissmal lest
ordi nal i s preci sel y W which belongs to W but cannot belong to
itsel |. Now W, i soutsi dethe mattero| WWj, and it is in the|orm
W o| W_,W . So it is i ndeed the casethat WWj< W,W .
Thustheordero| theordi nal sthoughtasNumbers,i nthe |ormal
redoub| ingo|theirmateri al being,i sthesameastheordero|ordi nal s
thought in thei r bei ng, as transitive sets al l o| whose elements are
transi ti ve. The Numeri cal representation o| the ordi nal s is structur-
al ly i somorphi ctotheordi na| s. This beingso, thereisnoreasonwhy
we shoul d notconsi der that the ordi nal s ' tbemsc|ces' are i nscri bed,
identical l yrepresented, in the order o|Numbers.
I6. I2. |romthe|actthatanordi nal i saNumbero|the|orm W,W ,
threeconsequencescan bedrawn.
W\LLLbb LWLmPWLW \ mL LPLL \ W\L 5
I Every sub-Number o| an ordi nal is an ordi nal . |or, i| W, W is
anordi nal , a sub-Numberi so|the|orm uu, where u, W.
It isthere|ore the ordi nal u, .
2 All these sub-Numbers wi l l mani |estly be ordi nal s smal l er than
the i niti al ordi nal . |t |ol l ows that they are a|| i n the l ow set o|
the i ni ti al ordi nal , and that the high set, general l y composed o|
sub-Numbers l arger than the Number, i s empty here. Thi s i s a
characteristic property o| ordi nal s thought as Numbers. Cener-
al l y speaking, a sub-Number o| the high set i s a sub-Number
N/u, such that u i s i n the residue o| N. ut, i n the case o|
an ordi nal and thi s coul d be a dehnition o| the ordi nal s , tbe
residue is emty. The high set o| an ordi nal is there|ore al so
empty, and, conversely, i | the high set o| a Number is empty,
then its resi due i s empty. its |orm coi nci des with i ts matter, it
is an ordi nal . The canonical presentation o| an ordinal wi l l
there|ore be o| the |orm Lo( W/O. ut what i s more, as the
low set has |or its elements a|| ordi nal s smal ler than W, it is,
as a set, identical to W ( every ordi nal is the set o| all the
ordinals smal lerthan it, . Z} . Fi nal l y, thecanoni cal representa-
tion ~ most di stinctive ~ o| an ordinal W thought as Number
is si mpl y W/O.
3 The symmetric counterpart o| an ordi nal W, W is obtai ned by
swapping the resi due and the |orm. Now, the residue is empty.
So it i s the voi d that wi l l be substituted |or the 'total ' |orm
that i s W. the symmetric counterpart o| W, W i s the Number
W,O . Thoughtas Number,an ordi nal W al lowso|a symmetric
counterpart, so we can |reely speak o| the Number ~W.
Iti sclearthatevery ordinal apart |romd i sa positiveNumber,si nce
its |orm, W, contai ns d as an element. The symmetric counterpart
o|everyordi nal otherthanthevoi d is there|ore a negative Number,
ascan be seen di rectly i nwriting ( W, O . |t will be |ound, moreover,
that all the properties o|an ordi nal W are i nverted by the passage
to -W. So that now every sub-Number o| ~W is the symmetric
counterpart -u, o|an ordi nal u, smal l erthanW, and it i sthe low
set o|~W that is void, si nce ~ the |orm o|~W being voi d ~ every
sub-Numbero|~W i sl argerthan it, and, hnal l y, the high set o|~W
i s identical to -W, with the resul t that the canoni cal representation
i s. O/~W.
Wearethereby assured that ordi nal s are Numbers.
ut what i s
more,graspedintermso|Numerical i ty,theordi nal saresymmetrici s-
able. we have opened up on the other side o|Zero whi ch is the
ordi nal 0, thought as Number an i mmense space where wi l l be
\W\L\LT. LL1W11\W, \LL, L\b, 1TLb
i nscri bed those |ormer|y unthi nkabl e entities. natura| mu|ti p| icities
submittedtothenegative. Numerica|ityi scapab|e o|symmetricising
nature.
I 6. I J. Posi ti ve andnegati vewhol enumbers
The natura| whole numbers, thought i n their being, are none other
than the hni te ordi na| s, which is to say the e|ements o| the hrst
| i mi tordina| . ln |actwe have a| ready given their dehnition anddi s-
cussedthei roperati onal di mensi ons in chapter ! ! .
Thi sprecedingworkal readysettlesthequestion,then. thoughtas
Numbers, natura|ubo|e numbers are ojtbe tye n, n , ubere n is a
nite ordina|. Evident|y, they are al l positive. The order o| natural
who|e numbers qua Numbers coi nci des with the order o| natural
whole numbers thatweal readyknow,theorderaccordi ngtowhich
every schoo| boy says that n is | arger than . |or we know that, i |
e n whi ch i s the ontol ogi cal versi on o|traditiona| order~ then
, < n, n intheordero|Numbers. Wethere|ore havetherightto
write the Number W, W as W, to i ndicate that an ordi nal ' itsel |' is
being i nscri bed i n the domai n o| Numbers. We there|ore write a
natura| who| enumber,thought as Number, as n.
Thesub- Numbers o|a natura| who| e Numberarethehnite ordi-
nalssmallerthanit,there|orethenatura| who| enumberssma| | erthan
i t. I| n is this Number, these wi|l be natural who| e Numbers
0,0; , ! , ! , . . . , n - , n ~ ! , whi ch we cou| d also write as
0, ! , . . . , n~ ! . Takentogether,they|ormthe|owseto|n. Thehigh
set o| n i s empty, and the canoni cal representation o| a wholc n,
thought as Number, is 0, ! , . . . ,n - ! /0. Si nce n' s e|ements are
preci se| y0, ! , . . . ,n- ! , thel owsetwhosee|ements theyarecan be
written as n/0. , Na Thi s is notci rcu| ar, because,consideredas a set,
n does not contai n itse| |as an e| ement .
Thesymmetriccounterparto|anatural who| enumberisaNumber
o|thc |orm n, 0 , where n i sa hnite ordi na| . Wewri te it-n,wesay
' mi nus n' . We posit thata Numberis a ubo|enegatice Numberifit
is tbesymmetriccounterartojanatura|ubo|eNumber, tbatis,one
ubicb takes tbe jorm (n, 0) . The sub-Numbers o|a negative whole
number -n are all the whole numbers g where e n. Taken
together,they |orm the high set o|-n, whose | owset i sempty. The
canoni cal representati on o| a negati ve who| e Number is there|ore
u| ti mate|y written as 0/-n.
Inordertoconhrmthecomp| eteidentityo|thetraditionalpositive
andnegative who| enumbers and o|thepositi ve andnegativewhole
Numbers, it must obvi ousl y be the case that operations on these
Numbers coi nci de, as order did, with operations on numbers. l||or
W\LLLbb LWLmPWLW \ mL LPLL \ W\L 7
examplewedehne an addi ti on N + N on Numbers,thentheres u|t
o|thi soperation in the specihccaseo|whol eNumbers, hence in the
caseo|anaddi ti ono|thetypem + n, shoul dbe 'the sameNumber'
as the whole number whi ch, i n the ca| cul ati ons o| our schoo| days,
corresponded to the addi ti on o| these two who|e numbers. These
operati onal verihcations wi l | becarried out i nchapter I8.
So |ar as the inscription wi thi n the Numbers o| natural who| e
numbers thought i ntheir being i sconcerned, ourtask i scomplete.
I6. I4. Uyadc postvc ratonaI numbcrs
We haveal readyspokeno|rati onal numbersin re|ationtoDedeki nd
cuts compare I 5. 5 . aposi ti ve or nul l rati onal numberisa |racti on
or relation o|two natural whol e numbers, which i sto saya pai r
(,q)o|wholenumbers. Thehrsti scal ledthenumerator,thesecond
thedenominator. Thenumeratorcan be null i denti cal totheempty
set , butit is prohi bited |or thedenomi natorto be 0 we know that
therel ati on [ i s ' undetermi ned' .
We have nodesi re here t oenter into a rigorous introduction to
thesetradi ti onal numbers in |act,herewemustconsider|racti onsas
i rreduci ble,impossi bl etosi mpl i |y . The intuitive ideao|the|raction
wi l l su|hce |or us.
Itisevidentthatthenatura| whol enumbersareasubseto|rational
positiveornul l numbers,wej ustneedtotakea rati ona| inthe|orm
| to obtain n. In other words. a whole number i s a rati onal o|the
type(n, I ).
The cl assi cal order o| the rational s hasthe |undamental property
o|beinga denseorder. Inotherwords see I 5. 5 , giventworati onal s
and suchthat < , however' near' thesetwonumbersmight
be,there a|ways exi sts a tLird and,|romthere, an i nhnity o|them
whichcomesbetweenthetwoi ni ti a| numbers. therei sa suchthat
- < - < -
V| V! V
;
-
A dyadic rationa| number is a number o| the |orm whose
denominator i s a power o|2. Or, in our pai red versi on, a rati onal
number(,2).
Dyadic rati ona| numbers themselves |orm a dense subset o|the
rational s. i |r, andr, are rati ona|ssuch thatr, <r,, a dyadic rati ona|
canalways be interca| ated betweenthem.
Thei mportantthi ng|or us is thatevery sequence o|augmenti ng
rationals r, <r, 5 . . . <r <. . . can be ' repl aced' by a sequence o|
dyadicrationa| sd, <. . . <d<. . . .takethedyadicrati ona| ssi tuated
' between' r, andr,,thenr,andr
,etc.Wecanalsosaythatthedyadic
rationals|orma ' basi s' |or a|ltherational s. Morespeci hca| l y, a non-
dyadic rati onal number can be ' approached' as cl osel y as you l i ke
8 \W\L\LT. LL1W11\W, \LL, L\b, TLb
|romadyadicone,becauseyoucanal ways| odgeadyadici n-between
r andr+ r
, however smal l r
might be.
I 6. I 5. We have, then, the |o| l owing statement, perhaps the most
i mportanti ntheprocesso|therepresentationo| traditional numbers
as ( ontological Numbers.
cery dyadic rationa|numbercanbe representedasa Numberof
nitematter,andeceryNumberoj nitematterreresentsadyadic
rationa|number.
I 6. I 6. How, in general , is a Numbero|hni te matter presented? | n
t he |orm n , p ,p, . . p } } , where t he whol e numbers p , p, etc.
whi chmakeup its |ormarewhol enumberssmal l erthann,thematter
o|the Number. Si nce we are keeping to rational positive numbers,
wewi l l consi derhere only Numberso|positive hnitematter,thatis,
Numberswhich have d i n their |orm.
The subtle i dea that gui des the ' proj ecti on' o|these Numbers o|
hnitematterintothedyadicposi ti veornullrati onal sisthe|ol l owing.
Letn bethe matter o|theNumber. We take a|l theelements o|this
matter i n order, |romd to n ! , which isthe l argestwho|enumber
contained inn. Inso|araswestayinthe| ocationo|thehrstelement,
d which is the |orm, si nce the Number i s positive ~ we attri bute
theval ue! tothewholenumberi nquestion. Saythatwecomeacross
the hrst el ement o|n say notto have the same location as 0,
in other words the smal lest whol e number i n the matter o| the
Numberto be i nthe resi due. We attri bute to thi swhol enumberthe
va|ue
2-
l
=
.
So, in theend,therati onal numbercorrespondi ngto theNumber
5, 0, ! ,3 wi l l beobtained |romthesum.
! ! ! ! 3
! + ! - - + - - - = -
Z Z
;
Z' Z'
Wecanseeverywe| | thatthi s is indeed a dyadi crationa| .
I6. I 8. |n order bettertoexhi bi ttheconstruction o|thi scorrespon-
dence, which bears wi tness to an i somorphy, an identity o| bei ng,
between positive Numberso|hnitematterandposi ti vedyadicrati o-
nal s, wewi l l |orma| i sethi ngsa l ittl e. Wewi | l thenseecl earl ythatwe
are dea| i ngwith an i nductive dehni ti on, a dehni ti on by recurrence.
Take a positive Number o|hni tematter. We wil| dehne by recur-
rencethe|o| lowing|unctionj, dehnedonthee|ements o|thematter
n o|the Number.
KU 1 . j 0 = ! .
K L Z . j + ! = ! , i |j = ! |or al l whol enumbers uptoand
including, and i | + ! i s i nthe |orm o|theNumber.
K U J. j+ ! = -| i |a| l thewhol enumbersuptoandi ncl ud-
ing are i nthe |orm andp + ! i s i n the resi due.
K L 1. j + ! =
_
l
i| the va| ue o| is _ or _
[
_ and + !
is in the |orm.
70 \W\L\LT. LL | W| | \W, \LL, L\b, Tcb
KL J. f - ! - i| the val ue o| is or - and -
i is in the resi due.
Theserul eswi l l al lowustocal cul atetherati onal val ueo|j|oral l
theel ements o|n, thematter o|the i ni ti al Number. Usi ngRa N to
denote the dyadi c rati onal that corresponds to N, we then posit
that.
Ra N j 0 -j ! -. . . -f n- !
The sign -i ndicates here the algebrai c sum i nthenormal sense.
It i s clearthat Ra N i s a dyadic rati onal .
I6. I9. Let' s proceed with the cal culation o| another exampl e, the
Number 4, 0, I , 3 , which is, o|course, a positive Numbero|hnite
matter.
So.
j 0 ! by rul e ! .
j ! ! by rul e i , .
j Z} ` by rul e3, Z is in the residue .
Z
i i
3 ~ - - rul e4,
3 i s i n the |orm .
Z
. .
~
Z
_
Ra 4, 0, ! , 3 j 0 -j ! j Z} -j 3 .
! !
Ra 4, 0, ! , 3 i - i - _- _.
Ra 4, 0, ! , 3))) g whi ch is a dyadi c rati onal , as we sai d it
woul d be.
Z
I 6. 2O. VhoIc ordnaI part ol a ^umbcr
It might appearstrange peremptori l yto changethe procedure when
we get to the hrst whole that doesn' t have the same location as
d i n the Number o| hnite matter under consi deration. Conshor
real ises thi s. ' The whole idea o| a shi |t |rom ordi nary counti ng to
a bi nary deci mal computation at the hrst change in sign may seem
unnatural at hrst. However, such phenomena seem i nevi tabl e in a
W\LLLbb LWLmPWLW \ mL LPLL \ W\L 7
su|hcient|y rich system. `
o|
the endpoi nt. Let u be the predecessoro|u, , thi sgives u, S u .
Si nce u, is the sma||est ordi nal t obe i n the residue, its predecessor
u must be in the |orm. O|course, si nce all the el ements o|u are
el ements o| u, transi ti vity o| ordinal s , and al l the elements o| u,
arei nthe|orm,al l theelementso| u aretoo,s oN/ui s theordi nal
u . And, gi venthatthi s ordi nal i soutsi de i tsown matterandinthe
|orm o|N, then u < N, and so hnal l yu < N < S u u, . This is
the i nterval we are l ooki ng|or.
I|, ontheotherhand, u, isa l i mitordinal, it willcertai nl yalways
be thecasethatN < u, , butwe woul dsearch in vai n |or the l argest
ordi nal smal lerthan N, because on the other side o|u, there is no
' predecessor' . N woul dthenhave asi ngul arposi ti on. smal lerthana
l i mi t ordi nal , it uou|d |e |arger tban a|| tbe ordina|s sma||er tban
tbis |imit ordina|. |t woul d come to insert itsel| in that space we
thoughtwas' hl ledi n' bythe ordi nal sthatprecedethe l i mit,the space
' between' a l i mi t ordi nal and the i nhnity o| successor ordi nal s o|
whi ch it is the l i mi t.
I 6. 22. Let' sgi veanexampl e. TaketheNumberN S , S ,
whose matter i s the successor o| and whose |orm is al l o|that
matter except |or itsel |, whi ch is the only element o|the residue.
The l i mit ordi nal m beingthe hrst ordi nal i n the mattero|N to be
in its resi due, is thewhol eordi nal parto| N. |tis i ndeedthecasethat
W\LLLbb LWLmPWLW \ mL LPLL \ W\L 7J
N< , sincethei rdi scri mi nantis which is in theresi dueo|N and
outsi dethemattero|. Whati smore, |oreverye| emento| - that
i s, |oreverynaturalwhole numbern - iti sthecasethatn < N, si nce
n i soutsidethe mattero|n andi nthe|orm o|N. TheNumberN is
thusatoncesmal l erthanthehrst |imit ordi nal andl argerthanal l
thenatural whol e numbers n o|which isthel i mi t! Thi sshowsto
what extentthedomai n o|Numbers saturates thato|theordi nal s,
whi ch i t contai ns. there are ' many more' Numbers than there are
ordi nal s.
Wecanal sosaythatNi s' i nhnite|ynear' to |arnearerthaneven
the most immense o| the who|e numbers could be. This notion o|
' inhnite proxi mity' iso|a prodi gi ousphi l osophi cal i nterest. Itopens
upnewspaces|orexpl orati onintheendl esski ngdomo|Number. We
shal | undertaketheseexplorationsa l ittle later.
I6. 2J. 5cqucncc and cnd ol thc dyadc ratonaIs
We have at our disposal a |unction Ra N whi ch makes a dyadic
rational correspond to every Number o| hni te matter. The who| e
numbers are incl uded i n thi s correspondence, because the positive
wholenumbern thoughto|asNumberwillcorrespond,throughthe
|unction a, to the sum i+ i+. . . + i n times~ that isexactl ythe
Numbern, since,i |a Numberi sa natural whol enumber,thena||o|
its sub-Numbers are in its |orm. It would be betterto say that the
|unction Raassoci atesa dyadicrati onal witheveryNumbero|hnite
matter~ even i |this Numberi swhol e.
To complete the work, and toconcl udethatthedyadi c rati onal s
'themsel ves' are represented i nNumbers,we must.
prove that the operationa| di mensi ons o| the rati onal s ~ addi -
ti on, mul ti pl ication,di vi si on, in brie|, everythi ngthatgi vesthem
the al gebrai c structure o| a he| d, are i somorphic to the same
74 \W\L\LT! LL1W11\W, \LL, L\b, TLb
operati ons dehned |or Numbers and appl ied to Numbers o|
hnite matter, thi s relates to the exami nati ons made in chapter
! 8, with oneobvi ousexcepti on. i n orderto have negaticedyadic
rati onal s, the procedure o| symmetricisation woul d be used,
which dehnes the general manner o| passage to the negative.
i nversi on o|swappi ng |orm and resi due. O|course, we will sti l l
be deal i ng with a Number o| hnite matter but thi s time with
d in the resi due .
As |ar as the ontol ogical si de o| thi ngs i s concerned, we have
attai ned ourgoal . A dyadi c rational , thought i n its bei ng, inscri bed
as Number, has a very si mpl ei ntri nsic dehni ti on. its matterishni te.
As |ar asbei ngi sconcerned,that, thi scl ari hes howeverdensethe
rati onal smightbe,eventothepoi nto|ani nhniteswarmi ng between
two consecutive whol e numbers, they nevertheless belong to the
hnite. The numeri cal ontology o| the i nhnite begi ns with real
Numbers.
I 6. 24. eal numbers
We know that real numbers provide the model |or the geometrical
' conti nuum' . thei r hgure i s that o| the poi nts OI a l i ne. |t i s the
real numbers that have subtended the enti re edihce o| anal ysi s,
cbef-d'oeucre and keystone o| modern mathemati ca| thought,
si nce Newton and Lei bni z.
For a long ti me, the continuum and the |unctions corresponding
toitwerethoughteitheri ntermso|geometrical constructions Creek
and pre-cl assi cal age , orin a pri miti ve and pragmatic|ashi on eigh-
teenthandni neteenthcenturies . Theemergenceo|arigorousconcept
o| reals as entities with whi ch one can cal cul ate took pl ace slowly
duringthecourseo|theni neteenth century, begi nni ng with Cauchy,
andwi th Dedeki ndrepresenting a deci si ve step.
ecause it i s the cl osest to that whi ch governs the dehnition o|
real s in the hel d o|Numbers, we will recal l brieHy the construction
o|real numbers by means o|'cuts' , as i nvented by Dedeki nd.
I6. 25. Wewi l l begi n wi thdyadi crati onal s, whi chwe can usehere
i n pl ace o| rati onal s as such, in view o|the remark made in I6. I4.
Taketwosetso|dyadic rati onal sandAsuchthateveryrational i n
is smal l ert hanevery rati onal i nA. Wecansayboth thathasno
internal maxi mum |orevery dyadi c rati onal i nt hesetthere i san
r, i nthesetsuch that r, < r, , and that A hasno i nternal mi ni mum.
Supposenowthatthe|ol l owingrel ati onholdsbetweenandA. there
al ways exists a dyadic in that is ' ascl ose' as one l i kesto a dyadic
W\LLLbb LWL mPWLW \ mL LPLL \ W\L 75
o|A. |n otherwords, i| r, is a dyadi c in A andra dyadi cas sma||as
one |ikes, there wi l l always exist a r, in such that the di ||erence
betweenr, and r, i s less than r.
Thesituationcanbevi sual isedasbelow,byrepresentingthedyadic
rationals as points on a l i ne.
W
t e
W W
< t
A
W
t e A
Wecanseecl earl ythat ' ri ses' wi thouteverentering i ntoA,that
A 'descends' withoutenteringi nto , andthatthere|orethetwosets
are asclosetoeach otherascan be, wi thoutever ' touchi ng' .
Thus did Dedeki nd dene a real number as tbe poi nt si tuated
exactly' between' andA, thati s, theelement,createdi nthisprocess,
which is si multaneousl y l arger than any element o| and smal ler
than anyelement o|A. We can identi|y thi selement as the poi nto|
thecuto| andA.
|tischaracteristico|thi smethodthatittreatsthecutnotasastate
o| things i n a pre-given uni verse which is how we treated i t |or
Numbers, see I 5. 6 , but as a procedure, dehni ng a mathemati ca|
entitythatdoesnotpre-exi stthi sprocedure. Tobeginwi th, thereare
only rati onal s. And, i| the cut is not a rati ona| it coul d be, i| the
upper |imit o| andthe l ower | i mit o|A coincided , then itconsti -
tutes i n itsel |the name, or |orm o|presentati on, o|a ' bei ng' whi ch
inexi sts in the hel d o|rational s. There|ore the real s are operati ona|
productionshere, theysign,comi ng|orth |romnon-being,thehctive
pointwhere andA are touched bythe interposi ti on between them
o|thi shcti on. Intothatplace,where there was nothing butthemin-
iscu|evoidthatseparatestwosetsascloseascanbe, comesthereal ,
which stops upthi svoi dbyrea|isinga cutas number.
I 6. 26. Fictions have no place i n the ontological conception o|
Number. | |the cl assic real numbers,thosewhi ch real ise cuts i n the
dyadicrati onal s, i nscri bethemselves i nthedomai no|Numbers,itis
because they exist and are di sti ngui shed by some property. They
cannot irrupt |rom inexi stence, i n the |orm o| mere names o| a
lacuna. According to an ontological conception o| Numbers, every
Number is, none resu|ts or is reso|ved i nthe name o|an operati on.
Wedobattle here againsta domi nantnomi nal i sm, andwe do so in
theheld o|number,socommon| ytaken |or an operati onal hction.
7 \W\L\LT. LL1W11\W, \LL, L\b, TLb
I 6. 27. In |act, our dehnition o| real numbers as Numbers is quite
l i mpi d.
A Numoer is a rea| number ifitis eitber ofnite matter or of
matter , and ifits form and its residueare innite.
In what |ol l ows we wi l l substanti ate thi s dehni ti on, whi ch repre-
sents real numbers ' themsel ves' in the domai n o|Numbers.
I6. 28. The' proj ecti on' o|thi sdehni ti onintotheconcepto|real sas
cuts i s basi cal l yvery si mpl e.
l|aNumberiso|hnitematter,theniti s, aswehaveseen, adyadic
rati ona| .
l| a Number i s o| matter , then a| | o|i ts sub-Numbers are o|
lesser matter than , and there|ore o| hnite matter, si nce is the
smal lest i nhnite ordinal . So all o|its sub-Numbers are dyadicratio-
nal s. More speci hcal l y, its l owset and its highsetaresetso|dyadic
rati onal s. And, since every Number i s the cut o|its low set and its
high set,a Numbero|mattercanberepresentedasthecuto|two
sets o| dyadic rati onal s. Or, once agai n, a real number thought as
Number i s a Number whose canonical presentation Lo Ni N is
made sol el y |rom dyadic rational s.
Fi nal l y, i | a Number o| matter has an i nhni te |orm and an
i nhnite resi due, we avoi d i ts l ow set and high set havi ng interna|
maxi ma. ecause, i | the |orm o| N i s hni te, since it i s composed
o|whol enumbers thematterbeing ,itadmitso|al argestelement,
say the whol e number . The cut o| N at point dehnes the sub-
Number N/, which i s obvi ousl y the l argest sub-Number whose
di scri mi nant with N is in the |orm o| N, and there|ore the l argest
sub-Number i n the low set o|N. And, i| the resi due is hnite, there
exi sts a number such that N/ is the smal lest element o| the hi gh
seto|N. A corttrario, i |both the |orm and resi dueo|N are i nhnite
~ are sequences o| whol e numbers wi thout i nternal maxi ma ~ then
the low set does not have a maxi mum term, nor the high set a
mi ni mum term.
Wethushndourselvespreciselyi ntheconditionso|theDedekind
cut. di sj oi nt ascending and descending sets o|dyadic rati onal swith
no maxi mum or mi ni mum. Except that ubat ue cbaracterise as
'rea|s ' are articu|ar, a|ready existing Numbers, whereas Dedekind
i nstal l s them as a hcti on at the voi d point o| a cut. For us, a real
wi l l be that uni que Number of minimum matter situated exactly
between two sets o|dyadi c rati onal s whi ch can be shown to be its
|ow set and its high set, and there|ore to be sets o| sub-Numbers.
W\LLLbb LWLmPWLW1 \ mL LPLL \ W\L 77
|t is parti cul arl y reassuri ng to remark that, in the dehni ti on o|
real sasNumbers,everythi ngremai nsi mmanent. Dedeki ndcutsdes-
ignatethehctiono|a numberexternal totwosequenceso|rati onal s,
as the poi nt o| contact o| these sequences . Whereas, on the other
hand, thesets o|dyadic rational sthat we use are composed ofsub-
Numbers ofa rea| Number. Thi s i mmanentisation o|procedures i s
typical o|the ontological approach, that approach which captures
thebeingo|Number. Toseei|aNumberthati snota dyadicrati onal
is a real number, it su|hces to exami ne it accordi ng to its three
components.
=
its mattermustbe ;
~ its |orm must be i nhnite,
=
its residue must be i nhnite.
Thi s alone al lows us to conclude. Tben we can state that the
Numberisthecuto|twosets o|dyadic rati onal s, andthatthere|ore
itisindeeda real number in thec| assi csense . ut, al| the same, we
haveremai nedwithi nNumber,sincedyadicrati onal saresub- Numbers
o|a Number.
The i mmanence o| the thi nki ng o| being has not |altered |or a
moment in thi s approach to thetraditional real numbersgrasped i n
thespaceo|Numbers. Thecharacteri sati ono|atypeo|puremu| ti pl e
has been substituted |or operati onal hcti ons. And real numbers are
nomoremysteri ousherethanwhol enumbersor rati onal s. Thei rsol e
pecu| i arityisthattheymarkthemomentwhere ourpassagethrough
Numbersprompts ustoenvi sage i nhnite matters. Fromthi spoi nto|
vi ew, theontologicalsi ngul arityo|therea| si nrel ati ontothewhol es
andtherati ona| scanbesummedupinoneword. i nhnity. Thisalone
clarihes, i rrespective o|a|l complexities o|constructi on, with an eye
only to that i n which the numerical section operates, the |act that
rea| Numbers areexempl ari l ymodern.
I 6. 29. We nowhndourselves inpossession o|aconcepto|Number
thatsubsumes as particu| arspecies the natural whol e numbers, the
who|e positives andnegatives,the rational s, the rea| s, andthe ordi -
nal s. We have overcome the modern resistance to a uni hcation o|
theconcepto|Number see I . 8 . ut, i ntheprocess, wehaveal ready
seenthatthisconceptal sosubsumesotherNumbers,thatthehi stori -
caldeduction|romthedomai no|Numeri ca| ityi sverymuchl i mited.
Rational sandrealscoverthetotalityo|Numberso|hni tematterand
onl y some Numbers o| matter . It i s as i |our thi nki ng has so |ar
only brought to | ight a mi nute i ni ti al segment o| that whi ch being
78 \W\L\LT. LL1W11\W, \LL, L\b, TLb
pro||ers in terms o| possi b| e numeri ca| access to pure mu| ti p| icities.
The |uture o|thethi nki ng o|Number i s | i mi t| ess.
I6. JO. Inhnitesi mal s
Weremarkedi n 6. 22thatitwou| d bepossi b| etohnda NumberN
at once sma| lerthan and | arger than a| | the hnite ordi na| s whose
| i mit is . This Numbercoul dperhaps be said to be ' i nhnite|yc|ose'
to,anditputsusonthewaytoaconcepto|i nhni tesi mal Number.
Theideao|i nhnitelysmallnumber,|reelyempl oyedbyseventeenth-
and eighteenth-century mathemati ci ans, was di smi ssed i n the ni ne-
teenth century |or its obvi ousi nconsi stenci es. Itwas repl aced bythe
concepts o| the l i mi t Cauchy and o| the cut ( Dedeki nd . It reap-
peared around thi rty-hve years ago, i n the si ngul arl y artihci al , but
consistent, context o| the pure | ogic o| mode| s. obi nson' s non-
standard ana| ysi s. In the domai n o| Numbers, ' i nhnite|y smal l
numbers' or i nhni tesi ma| s abound in the most natura| |ashi on. It is
by means o| them that we wi|| comp|ete thi s di mi nutive j ourney
throughtheenchantedkingdom o|Numbers.
! 6. 3 I . Consi der the Number i ( , ( 0 , whose matter i s and
whose|orm,thesi ng| etono|thevoi d, hasthevoidasitsonl yelement.
It i s a positive Number, since 0 i s in its |orm.
Now thi s positive Number, even i |its matter is the same asthat
o|rea| Numbers,issma||ertbaneceryositice rea| Number.
In |act, i|a rea| Numberi spositive, 0 i sin its |orm,asi sthecase
|or i. 0 does notdi scri mi nate between i and a positivereal Number.
A| | the who| e Numbers other than 0 being in the resi due o| i, the
di scri mi nanto|iand a realNumberRwi | | bethehrstwhol eNumber
apart |rom 0 to hgure in the |orm o|R. Such a Number necessarily
exi sts, si nce the dehnition o|the real s dictates that the |orm o| R
shoul d be i nhnite. And, si ncethi s di scri mi nant is in the residue o| i,
i is sma| | er than R. There|ore there exi sts a Number i such that
0 < i<R |oreveryrea| Number. Thi sii ssi tuated' between' Zeroand
al| rea| numbersthoughtasNumbers. We wi|| saythatitisi nhnitesi-
ma| |or the real s.
I6. J2. Ceneral i sing thi s dehni ti on. We say that a set o| positive
Numbers, a| | o| the same matter, tends rati onal l y towards Zero i |,
|oreverydyadicpositiverati onal r,as c| osetoZeroas youl i ke,there
exi sts a NumberN, o| the set situated between Zero andr. In other
words. |or every dyadic rati onal q there exi sts N, be|onging to the
set such that 0 < N, < . Note that the c|assic notion o| 'tending
towards' i shererel ati vi sedtodyadicrational s. Inthel i mitlessdomain
W\ cLcbb cWLmPWcW \ m c LPLc \ W\c 7
o| Numbers, we must indicate which scale o| measurement is being
employed, because, aswe will see,iti sa|uays possible to hnd a sti l l
hnerscale.
Itisobviousthattheseto|real positiveNumberstendsrational l y
towardsZero.Othersetso|Numberscanbe|oundwhi chtendratio-
na| l y towards Zero, |or exampl e positive Numbers o| the type
( S , O, . . . , whose matter i s S( and whose |orm contai ns at
least O.
Wecan say,then,that.
z Num0er is innitesima| [or a set o[ Num0ers tbat tends rationa||y
touards Zero i[ it is
.
o[ tbe same matter as tbe Num0ers o[ tbe set,
- ositice,
.
sma||er tban a|| tbe Num0ers in tbe set.
So it is thattheNumber , O is i nhnitesi mal |or the set o| real
Numbers. On the other hand, there i s no i nhni tesi mal |or the set
o| Numbers S , O, . . . , preci sel y because this set contains the
very Number ( S( , ( O that is the smal lest positive Number o|
matterS( .
Thel i mi ti ngo|theconcepto|i nhnitesi mal toNumberso|thesame
matterastheNumberso|thesetthattendstowardsZeroisnecessary
because,i |thi srestrictionwerenoti nplace,tbere uou|dbeasmany
innitesima|s as ue uisbed. It woul d su|hce to augment the matter.
theNumber S , O i sposi ti ve, anditi scertai nl ysmal l erthanevery
positive Numberwhose matter is . In particul ar, i t i s smal lerthan
the i nhnitesi mal i ( , ( O , because the di scri minant is , which is
outsidethemattero|iandi ntheresidueo|( S( , ( O . Weseetowhat
extentourconcepto|thei nhnitesi mal i srel ati ve. thedensityo|order
over Numbers means that, however ' rel ati vel y' small a posi ti ve
Number might be, there sti l | exists an i nconsi stent mul ti pl ici ty o|
Numbers situated between it andZero.
We can, i | we wish, retai n the cl assi c dehni ti on. every posi ti ve
Numbersmal l erthanevery positiverea| is i nhnitesi mal . utthen we
wi l l see the i nhnitesi mal s grow and swarm uncontrol l abl y. The
' shores' o|Zerocontai n' as many' Numbers astheenti re domai n o|
Numbers. ecause,atthepoi ntwhere mul ti pl e~beingassuch incon-
sists, the notion o|' as many' loses all meani ng.
I6. JJ. Cutso|cuts
Take theNumberC ( , 0, ! , whose matter is andwhose |orm
is l i mited to the wholes 0 and ! . Thi s Number i s not real , si nce its
80 \W\L\LT. LL1W11\W, \LL, L\b, TLb
|orm is hnite. It is positive, si nce 0 is in its |orm. How can it be
situated amongstthe real s, to whi ch its matter belongs ?
A posi ti ve real whi ch does not have ! in its |orm is certai nl y
smal lerthan C. thedi scri mi nanti s !, whi chi si ntheresi due o|such
a real and in the |orm o|C.
A posi ti ve real which does have ! in its |orm i s certai nl y l arger
than C. |oral l whol e numbers l argerthan ! are in theresidueo|C,
whereas some o|them are certai nl y i n the |orm o|a real , since this
|orm is i nhnite. The discri mi nant will be the smal lest whol e l arger
than ! to bein the |orm o|thereal , and, si nce itis in C's resi due,C
wi l l be smal ler.
C there|ore i ssi tuated preciselybetweentherealswhi chhave ! in
thei rresidueandthereal swhichhave! inthei r|orm. Nowthesetwo
cl asses operate a partition into two o|the posi ti ve real s, a partition
which i sordered al l the positive real s which have ! inthei rresidue
aresmal lerthan allthepositivereal swhich haveiintheir|orm . We
can, then, per|ectlyl odge a Number' between' twodi sj ointcl asseso|
real s, i n the caesura o|a partition o|real s. And, si nce the reals are
themselvescutso|rational s, theNumberCwi l l beacuto|cuts.
Ceneral l yspeaki ng, gi ven an organi sedpartition into two o|a set
o| Numbers 'o| the same type' , that i s to say, dehned by cuts or
canoni cal presentati ons havi ng thi s or that property as we saw in
dehni ngthe real s , we wi l l cal l a 'cut o|cuts' a Numbero|mi ni mal
matter si tuated in thecaesura o|theparti ti on, being l arger than al l
thosei n the l ower segment andsmal l erthan al l thosein thehigher
segment. TheNumber( , ( 0, ! i sa cuto|cutsinthenumericaltype
' positive real Numbers' .
Theexi stenceo|cutso|cutsattestsoncemoretothei nhnitecapac-
ityo|Numbers~ ascoal escentasthey mightseem~ |or cuttingata
ointthe ul tra-dense |abric o| thei rconsecuti on.
I6. J4. So many other Numbers to vi si tand to descri be! utworks
thattakedelighti nthisarebegi nni ngtoappear. Andthephi |osopher
i snotdehnedbycuri osity,thej ourneyi snota di sinterestedone. The
phi | osopher must, be|ore l eavi ng the ki ngdom convinced thatevery
numberthoughtOl in its being i s a Number, descend back down to
cal cul ati on. Or, rather, to the exi stence o| cal cul ati on, because the
phi l osopheri snotacal culatorei ther. utthesenumbers,|romwhich
our soul is knitted, the phi l osopher wishes to render over entirely,
evenasregardsthederivationo|thei roperati onal mechani sm, tothe
i mmemori al ande||ectless transparency o|eing.
4
LCt3tOH3 LmCHSOHS
# t
| 7
l3tut3 | HtCtuUC
I 7. I . The domai n o| ordinal s and o| cardi nal s hol ds an extreme
cbarm|or thought. A proo|by a||ect ~ by a||ection, even ~ o|what
Icl ai mhere, isthat, on reHecti on, thi scharmi sthato|Nature itsel |.
an abundant di versity and, at the same ti me, a mute monotony.
Nothingisthesame, everythi nggoestoi nhnity,butonehearsa |un-
damental note, a basso ostinato, signal l ing that these myri ads o|
multipl icities and |orms, these compl icated mel odi es, pro| i |erate
the repose o| the identica| . l| poets' metaphors take as thei r
re|erencetheskyandthetree, theHowerandthe sea,the pond and
the bird,thi s i s becausetheywoul dseak thi s presence o|the Same
that the unl i mited appearances o| nature vei l and revea| . In the
same way, the ordi nal s, sti l l si ngul ar i n the i nhnity o|thei r i nhnite
number, in the i nconsi stency o| their Al l , a| so repeat the transitive
stabi l ity and the i nternal homogeneity o| natural mul ti pl es, those
mu|tiplesthatthey allowtobethoughti nthei rpure bei ng. Iti shard
to tear onesel |away |rom the inte|lectual beatitude brought on by
thecontempl ation o|the ordi na| s, one by one and as a ' set' . I thi nk
o|thegreatIndi anmathematici anRamanuj an,
'
whohel deachwhol e
number to be a personal |riend. He was i nvested by thi s poem o|
Number,o|whi chthePoemo|nature i sthesymmetrical counterpart
withi n language. He did not like to construct proo|s, but rather, as
adreamero|theordi nal site,todraui ni twithcurveso|recogni ti on,
whichhi scol leaguesregardedwithsomesurpri se. Comi ng|roma|ar,
inal l senseso|theword,hewasnotaccustomedtoourseveremodern
distinctions. He saw numbers di rectly |or what they are. natural
84 \LP11\WPL L1LWb1\Wb
treasures,wherebeingl avi shesits multipleresourceandits |asti di ous
i denti ty i n the same gesture i n whi ch, |or the poet, it arranges the
'correspondences' o|sensi bi l ity.
I 7. 2. We have at our disposal a concept o|Number, and we know
that this concept subsumes ourtradi ti onal numbers. Wholes, ratio-
nal s, real s, ordi nal s, thought i n thei r multiple~being, are Numbers.
| t must now be shown ~ a sl ightly less rewardi ng task ~ that thi s
concept subsumes our traditiona| numbers not onl y in thei r being,
butalsoi ntheiroperati ons. As|araswemaybe |romthatsensi bi l ity
that i s rul ed by counti ng, it must nevertheless be shown that it is
possi bl e to count with Numbers, and that thi s counting coincides,
|or thecl assi cal typeso|Numbers,withordinarycounting. Wemust
cover al gebra, addi ti on, mul ti pl icati on,etc. | |we di dnot, then who
woul dbel i eveuswhen,speaki ng|romthesol epoi nto|viewo|being,
we said thattheseNumbers are numbers ?
I 7. J. What is meant by ' operati on' , or cal cul ati on, is the consider-
ati ono|' obj ects' uponwhi chonenol ongeroperatesonebyone,but
at least two by two. the sumo|x andy, the divi si on o|x by y, etc.
And, asthemattero|Numberis made o|ordi nal s, itistobeexpected
thatwe have to deal with, to thi nk, pai rs o|ordi nal s. Sowewi l | be
happi l y detained |or a |ew more moments i n the enchanted domai n
o|natural mul ti pl es. Thi swhol ei nterl udeisdedicatedtosomereHec-
ti onsand proposi ti onsaboutpai rs o|ordi nal s, ordi nal stakentwoby
two. And, as we shal l see, these coup|es are al sotota| l ynatural . we
can connect them backto ' si ngl e' ordi nal svi a a procedure which in
itsel |hol dsa greatcharm.
I 7. 4. We wi l l speak o|ordered airs o|ordi nal s, whi ch we denote
by(W, W). ' Ordered'meani ngthatone takesintoconsi derationthe
ordero|thetermsin thecoupl e~ wewi l l thusspeako|the hrstterm,
W and the second, W ~ which wasn' t the case i n our concept o|
the simple pai r, denoted by ee compare 7. 7, which was a pure
' gatheri ng together' o| two terms regardless o| thei r order. Or, in
other words. i| W, and W are di ||erent, then the ordered pai r
(WW)i snotthesamethi ngastheordered pai r(W_ ,W, ). |n order
better to di sti ngui sh the si mple pai r |rom the ordered pai r, we wi l l
cal l the l atter a cou|e.
Wecanal soal l ow' coupl es' o|thetype(W, W, ). |nsuchcases, W,
occupi es both thehrst andthesecond place.
The concept o| ordered pai r, or coupl e, pl ays a deci si ve role in
mathemati cs. it underl i es all thi nkingo|rel ati ons and o||uncti ons.
WP\PL 1WLL\LL 85
It can be reduced to a hgure o| the pure multi pl e, testi |yi ng to the
|actthatrelations and|uncti onsdo notdependon anysort o|addi-
tiona|beingapart |rom the multi pl e, thatthere is no ontological di s-
tinction between boundobj ectsandthe bondwhichbi ndsthem. ut
wewi l l empl oytheconcepthere i n i tsnaVe sense.
I7. 5. Wewi l l cal l maxima|ordina|ofa coup|e(WW_),anddenote
by Max ( WW_) , eitherthe l arger o|the two ordi nal sW, andW,
i|theyaredi ||erent,or, i|thecoupl eis o|thetype(WW, )thesi ngl e
ordi na| W thathguresi nit.Youareremi nded see8. O thatordi na| s
aretotal l yorderedbybel ongi ng. i |W, andWaredi ||erent,thenone
i snecessari l y smallerthanthe other bel ongs tothe other .
Thi smostelementarynotiono|themaxi mal termo|a coupl ewi l l
p|ay acruci al rolei nwhat|ol lows. Iti si mportanttogeta hrmgrasp
o|it.
I 7. 6. Take a couple o|ordi nal s (WW), whi ch we will denote by
C and another couple (W
,
,W
,
), which we will denote by C. We
will dehne an order-rel ati on between these couples i n the |ol l owi ng
way. Wesaythat C i ssmal lerthan C_ andwrite C, < C, i |one o|
thethree |ol l owingconditions i ssati shed.
! The maxi mal ordi nal o| the coupl e C is equal to the maxi mal
ordi nal o|thecoupl eC
< C_ .
Z The maxi ma|ordi nal o|coupl eC
< C .
3 The maxi mal ordi nal o| the coupl e C, is equal to the maxi mal
ordi nal o| the coupl e C, and the hrst term o| the coupl e C, is
equal to the hrst term o| the coupl e C, but the second term
o| C
(6, 0) is smal ler than (0, 7), because its maxi mum is 6, which is
smal lerthanthe maximum o|the l atter, which is 7,
, then
C < C
.
Farmore i nteresting i sthe|actthati t i s a ue||-orderedrclation. l
havegi ven the dehni ti on o| thi s in 6. 4. given any set whatsoever o|
terms wel l -ordered by a rel ati on <, there exi sts one and one onl y
el emento|thatsetthati sminima||ortheorder-rel ati on, whi chi stbe
smal lestelemento|thatset.
Take any non-empty set E o|couples o|ordi nal s~ that i s, a set
all o| whose elements are couples o| ordi nal s. Consi der all those
coupl e el ements o| E ubose maximum is minima| for . In other
wordsal l the coupl esC E suchthat Max C isthesmal lestordinal
tohgureintheel ementso|Easmaximumo|acouple. Thi si spossible
byvi rtueo|theprinci pl eo|mi ni mal itythatcharacterisestheordi nal s
WP\PL 1WLL\LL 87
see 8. IO . Civen the property ' being a maxi mal ordi nal in a coupl e
C which belongs to E' , there exi stsa smal lest ordi nal to sati s|y thi s
property. Wethus obtai n a subset l' o|E, al l o|whose elements C
have the same mi ni mal maxi mum. Note that, because o| the hrst
o|the conditions dehning the order o| couples, a|| the elements o|
E' are smaller than a|| the elements that remai n, that are i n E~E
i |any .
Nowconsider,i nl',theseto|coupleswhosehrsttermi smi ni mal
|or E . In other words, al l thecouples C (W, ,W,) suchthatW, is
the smal lest to be |ound i n all the hrst terms o|the couples i n l'.
This i spossi bl e |or the same reason as be|ore. it su|hces to consi der
the property ' bei ng an ordi nal that hgures i n a coupl e i n l' as the
hrstterm' , andtotakethemi ni mal ordi nal |orthi sproperty.Wewi l |
thus obtain a setEo|coupl eshavi ng thesamemaxi mum because
they are in E' and the same hrst term mini ma| |or l' . Note, in
consideringthesecondo|theconditionsdehni ngtheordero|coupl es,
thata|| the elements o| l" are smal l er than a|/ the el ements that
remai n, whi ch are in l' -l", whi ch themselves are a|l smal|er than
theelements o|l~l'.
Therei sasorto|concentricembedding,wherethecoupleso|each
i nnerci rcleare smal lerthan those o|theexterior boundary.
Consi der,hnal l y, inl",theproperty ' beinganordi nal thathgures
in second position in one o|the couples i n E' . There i s a mi ni mal
ordi nal |or thi sproperty. ut, thi sti me, theset obtai nedconsists o|
onecou|e on/y. Thi si s because, i nl",thehrstterm o|thecouples
is hxed it is the minimal hrstterm |or the coupl es i n l' . In hxing
the second term as mi ni mal |or thi s p|ace , one couple i s entirely
determined.uttheothersarethemselvessmal lerthanallthecouples
inf'~l", whicharesmal l erthanthecouplesi nl~f'. Sothemi ni mal
couple obtainedi nl"is in |actmi ni mal i n l~qro.
Thi sproperty o| mi ni mal ity |or theorder o|coupl es o|ordi nal s
grants usthree essenti al |reedoms.
88 \LP1\WPL L1LWb1\Wb
! Civen a coupl e C, it is possi bl e to designate the uni que couple
that will come di rectl y a|ter it i n the order we have dehned. To
doso, itsu|hcestoconsi der,i na suitabl esetthatcontai nsC,the
subset o| those that are l arger than i t. This subset wi l l have a
mi ni mal element, whi ch is the smal lest one to be l arger than C,
and is thusthe ' successor' o| C.
2 I| a property o| couples dehnes a set the set o| couples which
possess that property , then we can sa|ely speak o|the smal lest
coupl ein that set, and there|oreo|thesmal lestcoupl eto possess
thatproperty.
3 Ci ven a set o|couples, we can speak o|the upperbound o|that
set,aswecan|orsetso|ordi nal s, seeI2. 6 . itsu|hcestoconsi der
the smal lestcoupl e that i s l argerthan all thecouples intheset.
' Wel l -orderedness' al l owsthoughttomovebetweeninteriormi ni mal -
i tyandexterior maxi mal ity. thesmal lesto|a givenset, andthehrst
( outsi de tobel argerthanal l those i nthatset.Thetrapi stoimagine
thatonetherebygains accessto internalmaxi mal ity. this i snotatall
thecase because, |or couples as |or ordi nal s, thatwhich goes tothe
l i mit i snotinternal l ymaxi mi sabl e.
I 7. 8. We are speaki ng o|successi on and l i mit. Herewe return, let
usremark,tothedi sputations o|chapter. Di scoveringthe ki nshi p
between ordi nal s andcoupl es o|ordi nal s was ourlatentmotive.
I 7. 9. Let' s begi n with an example. Whatcanwe sayo|a coupleo|
the|orm(WS(W ,whereW, i sanyordi nal whatsoeverapart|rom
0, and where S W is the successor o| any ordi nal W ? Everythi ng
depends on the maxi mal ordi nal in the coupl e. Suppose that W, is
maxi mal andthusthat S W W, . I| wecompare the couple to al l
othersthatal so haveW, as thei rmaxi mal ordi nal , weseethat it i s.
~ l argerthan al l those where W[ onl ycomes in second position in
thecoupl e pri macy o|hrstposi ti on, condi ti onZ o|theordering
o|couples ,
~ l arger than al l those whi ch, in second posi ti on, have an ordi nal
smal lerthan S W thi rd condi ti on o|order , i n particul ar, it i s
l argerthanthecoupl e(WW),
~ smal l erthanal l thosewhich have, in second position, an ordinal
l arger than S W . In particul ar, it is smal l er than the couple
(WS S W ), supposi ngthatS S W remai nssmal lerthanW, ,
thus leaving W, ' s maxi mal status intact. ut l et' s assume thi s
hypothesi s.
WP\PL 1WLL\LL 8
It seems cl ear |rom thi s that the coupl e (WS W , given the
assumed hypothesi s, intercalates itse|| exact|y between the couple
(WW)andthe coupl e(W , S S W ). Morespecihca| | y, wecansay
that itsucceeds the hrsto|the twocoupl es.
||,ontheotherhand, wetakethecoupl e(W, , L)where Lisa l i mi t,
andsti llsupposethatW, i s maxima| i nthecoupl e, wecannot deter-
minea couple thatitsucceeds. This coupl eiscertai nl yl argerthata||
the couples o|the |orm (WW) where W i s smal l er than L thi rd
conditiono|order . utL, a l i mi tordi nal , preci se| ydoesnotsucceed
anyo|theW i nquesti on. Therei sthere|oreon|yonepossi bi l i ty. the
couple (WL) i s the uer bound see N6} o| the set o| couples
(WW), where W L, with W, , o|course, being maximal ~ that
istosay,l argerthanL. Wecanal sosaythatthecoupl e(WL) i sthe
limit o|the coup|es (WW) |or W lessthan L.
Fi na| l y, take the coupl e (0, S W . The Max. o| thi s coupl e is
evi dently S W . ut it is certai nl y the sma||est couple to have thi s
Max. |n |act, i ts hrst term i s mi ni mal i t is 0 , so every coupl e C
where Max C S W andwhere the hrst term is not d ~ there|ore
every coupl e o| thi s sort other than our exampl e ~ is greater
than it.
eingthe smal lestcoupl e whose Max. is S W , ourcoupl e must
succeed the ' | argest coupl e' ~ i | it exi sts ~ whose Max. i s i mmedi -
ately i n|erior. Note that these noti ons o| ' l arger' and ' i mmediately
i n|erior' can be disrupted by the i ntervention o| limit ordinal s. Al l
the same, thi s is not the case in our exampl e. si nce the Max. o|
our couple is S W , an i mmediately i n|eri or Max. exi sts. it i s W
What woul d be the l argest coupl e whose Max. is W ? Obvi ousl y
thatcoupl ewhosehrsttermi s maxi mal condi ti on 2 o|order . ut
the hrst term ofa cou|e ubose Max. is W attai ns i ts maxi mum
when it is equal to W. For, i |it surpasses W, the Max. changes.
So the coup| e that i mmediately precedes (0, S( W in the order o|
couples is (W,W). Wecan al so say that (0, S( W i s the successor
coupl e o|(W,W).
I 7. I O. Whatwereal l ywanti sto 'ontologise'coup|eso|ordi nal s, as
wedi d |or ordi na| s. hnd an i ntri nsic characteri sati on, not boundto
orderal one,o|successorcouplesandl i mi tcoupl es. Theexampl esi n
theprevious paragraph wi l l gui de us.
I 7. I I . Let's beginwi thcoup|escontai ni ng0.
Wehaveremarkedthatcoup|eso|the|orm(O, W ),|oral l W
,
other
than 0, are the smal lest ones whose Max. is W,
Thi s a| lows us to
characterisethem i mmanentl y.
0 \cP1\WPL L1LWb1\Wb
! A coupl e o| the |orm (O, S Wj) is always a successor it succeeds
(WW, ) . Thus the couple (0, ! ) is a successor it succeeds the
mi ni mal coupl e(0, 0) .
2 Acoupl eo| the |orm(O, L) is al ways a l i mit. it is theupperbound
o|the sequence o|couples (W, ,W,) where W, and W, pass i nto
the l i mi tordi nal L. So that the coupl e(0,) i sthe l i mi to|al l the
couples (m, n) where m and n are hni te ordi nal s and there|ore
natural whol enumbers, seechapter ! ! .
Coupleso|the|orm(WO)dependj ustas di rectl y, as regardstheir
i ntri nsi ccharacteri sati on, on thenatureo|the ordinal W, .
! A coupl e o| the |orm (S W[ ,0) is the smal lest coupl e to have
S Wj as Max. in rst osition. It is l arger than al l those which
have S Wj as Max. in secondosition that i s, couples o|the
|orm (W_, S Wj) where W, i s smal ler than S( Wj. |n |act it
comes j ust a|ter the l argest o| these coupl es, which latter wi l l
evi dently have the l argest possi ble hrstterm toconserve S Wj' s
status o|maxi mum i n second posi ti on. Thi sl argest hrst term i s
W, , the i mmedi ate predecessor o| S Wj. The l argest o| the
couples which come be|ore (S(W[ , 0) i s there|ore the couple
(WS( Wj). Wecanconcl ude. everycoupl eo|the|orm(S W, , O)
i s a successor. Thus the coupl e ( ! ,0) i s a successor it succeeds
(0, !) .
Z Acoupl eo| the |orm(L,O)is l argerthaneverycoupl eo|the |orm
(WL) where W, i s less than L. ut there is no such couplethat
i s l arger than all the rest, because there i s no W, that i s ' closer'
to thel i mit ordinal L than all others see 9. I 8 . Thecoupl e(L,O)
i s, moreover,smal l erthanallthecoupleso|thetype(L,W, ) where
W, is not0. In a sense, it makesacutbetweenthecouples(W L)
and the coupl es(L, O). Al l the same, amongst the l atterthere is a
mi ni mal coupl e, which is the coupl e (L, I ), and whi ch there|ore
succeeds(L,O). Hereagai nwehndthestri ki ngdissymmetry,char-
acteristic o|the ordinal s, between mi ni mal i ty guaranteed and
maxi mal ity which presupposes successi on . The couple (L,O) is
the l i mit, or upper bound, o| the sequence (W L) |or W, L,
anditi mmediatelyprecedesthecouple(L, I ). Itcreatesaninhnite
adherence to its l e|t, or ' on thi s si de' o| it, and the void o|one
si ngle additi onal stepto its right, beyond it.
I 7. 2. Let' snowturn to ' homogenous' coupleso|thetype(s s)or
(LL). Everythi ng wi l l once more depend upon the Max. o|these
coupl es.
WP\PL 1WLL\LL
I|s , orL, are the Max. , the problemistri vi al .(s s_)is asuccessor.
|usta momento|reHectionwi l l showthatitcomes j usta|terthe
coupl econsti tuted bys, (theMax. andthepredecessoro|s, . As
|or (L, , L,), iti ssurel ythe | i mit o|the sequence o|couples o|the
type(LW, ), where W, traverses theelements o|the ordi nal L_.
|| b_ or L_ are the Max. , thi ngs are not much more di |hcul t. lt is
certai n that (s , ,s,) is a successor. it comes j ust a|ter the couple
consti tuted by the predecessor o|s, and by the Max. s, . As |or
(LL,), itis assuredlythel i mito|thesequenceo|coupl es(WL_),
where W, traversestheelements o|L|rom0 ' upto' L, .
I 7. I J. We wi l l hni sh with mi xed coupl es. The method does not
change atal l .
,O) Ii mi t
(
_
,)
(2, I ) Succcssor
(
,)
:
( I ,2) Succcssor
(LL,) L
(, , ) Li mi t
(LL,) L
, (
,
) Ii mi t
(,
L)
(S| O
l ,
O
) Ii mi t
(,
L) L (
]
,
O
) Succcssor
(l.)
(
O
, S|
O
l Ii mi t
(L
,) I (
, I ) Succcssor
This table has a per|ect symmetry, broken only by the i naugural
coup|e o| the void with itsel |, the ontol ogi cal basi s o| the whol e
constructi on.
Z \ cP\WPL L1LWb|\Wb
I 7. I 5. Itis entertai ni ngtovi sua| i sethe begi nningo| thesequenceo|
ordina| coup| es.
Wehave a| readyseenthata|terthecoup| e(0,0)comesthecoup|e
(0, ! ), then the coup|e ( ! ,0). Onecan quickly see that it is( ! , ! ) that
succeeds(I ,0),si nceiti sthe| argestcoup| ewhoseMax. i s ! . Comi ng
next is (0,2), whi ch i s, as we have remarked, the smal lest coup|e
whose Max. i s2. The readerscanexercisethemse|ves bycalculating
the rest. || we draw the successi on o| coupl es onto a squared back-
ground, usingthehorizontal axis torepresenttheordi nal thatoccu-
pi esthe hrst p|ace andthe verti cal to representthatwhich occupies
the second, we obtai n the |o| l owi ng.
<, 1 > <1 , > <Z, > <3, > <4, >
Whatwe see i n this diagram i sthattheroute through thecoup|es
|orms a ki nd o|' chai n' which evidently cou| d be proj ected onto an
ordi na| axi s. At any gi ven moment we know how to ' produce' the
nth coup| e, as soon as its predecessor has been determined. It is
tempting to |ormal ise thi s i ntui ti on by establ i shing a term-by-term
correspondence between ordi nal s and coup| es o|ordi na| s, since we
have seenthatthe ' passageto the | i mit'representsnoobstacletoour
WP\PL 1WLL\LL | J
doing so. there is a concept o| the l i mi tcoupl e, structural l y di stinct
|romthesuccessorcouple. Thi smagni hcentconstructi on, whichproj -
ectscouples representableona pl aneora sur|ace ontothel i nearity
o| their constituents si ngle ordinal s , is a tri umph o| ontol ogy. It
shows that there is no more in the doubl e than in the si ngl e. It l i n-
earisesthedi vergence o|twoness.
I 7. I 6. Ourunderlying motive here is to show thatcouples o|ordi -
nal sbehave' l i ke' ordi nal sthemsel ves. Thesi mplestwayistoestabl i sh
between couples o| ordi nal s and ordi nal s a bi univocal correspon-
dence see 4. 5 . However, it i s dubi ous, absurd even, to speak o|a
correspondenceora |uncti on between two i nconsi stentmulti pl i ci ti es.
Neither the ordi nal s nor the ordi nal couples are sets. How can we
j usti |y comparing orl i nkingthesetwo untotal isabl ecol lecti ons ?
We have given the pri nci pl e |or the |orci ng o| thi s i mpasse i n
chapter ! 0. we must, i |we can, dehnethe correspondence between
the ordi nal sandthecouples via transhni te i nducti on, orrecurrence.
The |unction will only be dehned at successi ve level s, without us
havingto considerthe ' a| l s' between which it operates.
I 7. I 7. Letj (WW) bethe |unction we wi sh to dehne andwhi ch,
to every coupl e o| ordi nal s, wi l l make correspond bi uni vocal l y an
ordi nal . j (WW) W,.
Wearehrstl ygoingtorootthe|unctionjsecurel yi nitshrstval ue,
whi chwi l l correspondtothesmal lesto|thecouples, thecoupl e(0, 0).
Re|erbacktochapter I0 |or the whol eo|thi sprocedure.
Wepositexpl i ci tl y.
KL 1
j (0, 0) 0.
Wewi l l thenexami ne thecaseo|successorcouples compare the
typology o| couples in I 7. I 4 . Let C be a coupl e whi ch succeeds
couple C which we wi l l denote ~ i n an extensi on o| the notation
adopted|ortheordi nal s~ byC S( Cj. Thesi mplestwayi stomake
correspondtothecoupl e,vi aj, a C,, whichisthesuccessoro|coupl e
Cthesuccessorordi nal o|the ordi nal whi chcorresponds, vi aj, to
C, . we make the ordi nal s succeed 'in paral l el ' to the successi on o|
coup|es. Wetherebyrespectthebasi ci deao|inducti on, orrecurrence.
supposi ngthe|unctionj to bedehned|orthecouple C wedehne it
byanexplicitrule|orthecouple C_whichsucceedsC, . Wethere|ore
posit.
KU Z j C j S C S j Cj .
| 4 \LP1\WPL L1LWb|\Wb
Let' s move on to | i mit coup| es. We suppose the |unction j to be
dehned |or al | coupl es that precede a | i mi tcoupl e CL. To a| | these
coup| es, the |unction j makes correspond an ordi nal W j C . The
idea i s evidently to take, as va| ue o|j|or the l i mi t coupl e CL, the
ordi na| that comes j ust ' a|ter' a|| o|theordi nal s thus associated, via
j, with the coupl es that precede CL. We know o| the existence o|
thi s ordina| that comes j ust ' a|ter' a set o| ordi nal s see N6}. it is
the upper bound o| that set, denoted by sup. We posit then that
j CL i sthesup. o|a|| the ordi na| sj( C |ortheseto|C smal|erthan
CL. So.
K L J j CL sup. j( C , |or C < CL.
The i nductive dehniti on o| j i s now compl ete, si nce we have
covered thethreecases~ the mi ni mum 0, 0) , successors and l i mits
~ dehni ngj vi a an expl ici t rul e which makes its value depend upon
theval uesobtai ned ' bel ow' theterm in questi on.
I 7. I 8. A |ew examp| es.
What, |orexampl e, isthe val ue o|j( (0, ! ) ? We haveseenthatthe
coupl e (0, I ) is the successor, i n the order o|couples, o|the couple
(0,0). We apply ru| eZ. j (0, I ) S( j( (0, 0) . utrul e ! i ndicatesthat
f (0, 0) 0. Then it must be. j (0, ! ) S 0 I .
What i stheval ueo|j( (0, ) ? We have seen thatthecoupl e(0,)
comes j ust a|terthe set o| al | thecouples (m,n), where M and n are
hnite ordi nal s the natura| who| e numbers . Now it is cl ear that j
associ atesahniteordina| witheacho|thesecoupl es,sinceasuccessor
coupl ewi | l be associ ated wi th the successor o|the ordi nal thatcor-
respondsto itspredecessor,andsinceonebegi ns |rom 0. Tocouples
o| the type (M q) wi | l correspond the sequence 0, ! , 2, etc. Conse-
quentl y,j (0, ) wi l | haveasitsval uetheupperboundo|allthehnite
ordi nal s, that is, the hrsti nhnite orl i mi t ordi nal , whichistosay.
Thusj (0, ) .
These e| ementary exampl es demonstrate that we are i ndeed in a
posi tion to cal cu| ate j |or any coupl e whatsoever. it is enough to
' progress' the |ength o| the wel l -ordercdness o| coup| es. The val ue
|or the hrst coup| e being hxed, rul es Z and 3 al l ow us to know the
va| ue o|j|or a coup| e C on the basi s o|the va| ues which jassigns
to thecoup|es which precede it.
I 7. I 9. Thatour|uncti onf, dehnedi nductivelywiththesethreerules,
isdehnitelybi uni vocal meritsverihcati on, whateverevi dencewemay
al ready have on this poi nt.
WP\PL 1WLL\LL 5
Itmusthrsto|al l beconhrmedthatj i s i nj ective,or,in Dedeki nd' s
terms, disti nct see4. 5 . Inotherwordsthat, i |coupl eC
.
i sdi ||erent
|romcoupl eC,thenordi nal j Cji sdi ||erent|romordi nal j C . We
canassureoursel veso|thi sbycastingoureyeover theruleso|i nduc-
ti on. | |twocoupl esare di ||erent,theyare ordered,say,C
< C . The
valueo|j( C dependsontheval ueo|j |orthecoupleswhi chprecede
it,anditi sdi ||erent|romal l o|theseval ues. Speci hcal l y, iti sdi ||erent
|romtheval ue o|f |orC, , whi chcomes be|oreC . Wecanthere|ore
be sure thatC
.
Consequently. C
< C j Cj j C .
| t remai nst obeshownthat|unctionj i ssurjectice,amodernword
meani ng that every possi bl e value o|the |unction is e||ecti vel y |ul -
hl led. Inotherwordsthat,|oreceryordi nal W,thereexistsanordi nal
coupleC |orwhi ch[C W.
Supposethatanordi nal Wexistswhoseval ue|or|unctionj is not
a coupl e C. Then there exi sts a smal l er such ordi nal pri nci ple o|
mi ni mal i ty , sayu. Thusal l ordi nal ssmal lerthanu docorrespond,
vi a, j, to a coupl e. We can see then that u must necessari l y al so,
contrary to the hypothesi s, correspond, vi a j, to a coupl e. ecause,
i |ui sasuccessor,whi chmeansthatu S ujandj C N
j
, itmust
thenbe rule2 o|the inductivedehni ti ono|j thatj S C S uj
u. And, i| u is a l i mit, then, si nce al l the ordi nal s whi ch precede u
correspond,vi aj, tocoupl es, u itsel |appears as theupper boundo|
al | those ordi nal s, and thus, |rom rul e3, i tsval ue |or j wi l l be the
coupl e that comes ' a|ter' al l thecouples correspondi ng to ordi nal s
smallerthanu.
So,hnal l y, jisi ndeedabi univocal correspondencebetweencouples
and ordi nal s. Thi s correspondence is, i n addi ti on, an i somorphi sm
betweenthestructureo|ordero|coupl es vi atheMax. , thehrstterm,
andthen the secondterm andthestructure o|order o|theordi nal s
belonging . Su|hce to say at thi s poi ntthattheordi nal coupl es are
a sort o| ' doubled' i mage o| si ngl e ordi nal s. Taken 'two by two' ,
nature is sti l l si mi l artoitsel |. Nature i s itsownmi rror.
7. Z0. Thesewanderings i nnaturethrough the l ooki ng-gl asso|the
doubleteach us.
\LP1\WPL L1LWb1\Wb
~ thatthereexi stsawe| | -orderednessovercoup|eso|ordina| s, such
that these coup|es obey, as do ordi na| s, the principle o|
mi ni ma| ity,
~ that we can speak, as |or the ordi nal s, o| successorcoup|es and
| i mi tcoupl es,andthattheseattri butescanbeuncoveredbyi mma-
nent exami nati on al one o| the structure o| the couples which
possessthem,
~ thatthereexi sts betweencoup| esandordi na| sa |unctionjwhich
has al| thecharacteristicso|a bi uni vocal correspondence,except
thatthetotal itiesbetweenwhi chthi s|unctionoperatesareincon-
si stent, sothatj must be dehned by transhnite induction,
~ thatthi s|unctionjdehnesan i somorphi smbetweenthestructure
o| order o| coup|es o| ordina| sand the structure o| order o| the
ordi nal s, so that C, < C, i mpl ies that j, CjE j, C_ .
I nthe mi rroro| the doubl e, nature perseveres i nal l o| its |ormal
comportments.
Identi cal means wou| d a| l ow us to establ i sh that triplets o|ordi -
na| s, o|the |orm (W
,W_,W
,
), have the same properties ascoup| es
do, andi nparticu| arthattheyare i nbi univoca| correspondencewith
the si ngle ordina| s. The same goes |or n-tuplets o| ordi na| s o| the
|orm (WW , e e ,W,). In matter, it i s on|y the hrst step thatcosts.
Doub|ed, nature mai ntai ns its order. Redupl icated i n hnite series as
|ongasyou| i ke, naturepersi stsinmaintai ni ngitshrstidentity. Stabi | -
i ty, homogeneity, order, mi ni mal ity, the onto|ogical hi atus between
successors and l i mits. al l o|thi s remai ns when the si mpl icity o|the
ordi na| i smu|ti p| iedwithi nthe l i mi ts o|thehni te. Nature is its own
ha| l o|mi rrors.
I 7. 2 I . Mal l arme wrote. ' Nature is there, it wi l | not be added to' .
,
And it is a |act that, i| oneaddsto nature, andeven i| oneaddsand
adds, and so on repeatedl y, the domai n o| natural multiples attests
unabated to the pregnancy o| the Same. Thi s i s what we grasp in
every experience o| the natural . that ramihed growth, reproductive
di vi si on, |ar |rom suggesti ngto usthe Other, reposes in itsel |, inthe
eternal seat o|its order.
Now, we knowthatevery operati on, every al gebra, i sconcerned
with a doubl ing or tri p| i ng o|the terms upon which one operates.
We add two numbers to obtai n a thi rd, ca| cu| ate the sma| |est
common di visor o| two numbers, arrange i n a hni te sequence the
components o| a po| ynomi al . . . A|| these disci pl i nes o| reckoning
and a|gebra have as their substructure a hnite | i sting o| numerical
marks.
WP1\PL 1WLL\LL | 7
|| it is true that natural multi pl es, ordi nal s, |urni sh the matter o|
Number, we can understand why the ossibi|ity o| operati ons, o|
algebra, o| reckoni ng, hnds i ts ontol ogical guarantee i n nature' s
capacitytomaintainthei denti ca| wi thi ndi vi si on. eneaththeappar-
ent variegation o| schemes o| reckoning, the vari ety o| operati ons
and o|a|gebraic structures, l i es thi s perseverance o| natura| bei ng,
thi si mmanent stabi l ity i n hnite seri a| ity. Anoperati on i sneverany-
thing more than the mode in which LM thi nki ng accords with
Ma| l arme' s maxi m. i |, wi thoutexposi ngoursel ves to the di si ntegra-
tion o|theOther,wecancombi ne two Numbers ~ ' add' one to the
other ~ it is because nature, taken as doub|e, added to itsel |, re-
attachedtoitsel |,mai ntai nsthei mmanent|ormo|themul ti p|e~beings
throughwhi ch it i nconsi sts.
An operation, a counting, an algebra, are on| y marks o| our
thought' s being caught i n the mi rror-games whi ch it pleases bei ng
to pro||er, under the | aw o| the Same to which natura| mul ti p| es
di spose it.
|
Pl _COt3 O lUHOCtS
I 8. I . We must hnal ly cometo counting.
Onceitsbei nghasbeenhxed,thecombi natorycapacityo|Number
i sa mereconsequence. Itari ses |roman i nvestigativeingenuity asto
the ways i nwhich couples ortripletso|Numbers can be l i nked. ut
the source o| these l i nks is hel d completel y withi n the concept by
means o| which Number is anchored i n being. Al l that operations
can do i s to deploy ~ in the numberless domain o|Number ~ the
prodi gal ity o|being in its possi bl econnections.
Concomitantly,thedi |hcultyresi desi nthechoiceo|'good'dehni -
tions o| the l i nks, so that they shoul d con|orm to the |aci l ities o|
cal cul ati on. we wish theoperationstobeassoci ative,|orthere to be
a neutral element,i nverses,anditwoul dhel pi |theywereal socom-
mutative. We would be even happi er i |operati ons combi ned wel l -
behavedly amongst themselves, wi th a di stri butivity o| one with
regardtotheother. Toarriveattheseres ults,Numbermustbe scru-
tinised and we must care|ul l y authenticate the links we wish to
dehne.
I 8. 2. Thesubstanti al resultsto beobtainedthroughthei ngenuityo|
operati onal dehni ti ons are as |ol l ows.
! Wecandehnea hrstoperation on Numbcrsnamedadditionand
denoted by+,whi ch has theproperties o|a commutativegroup.
~ associ ati vity. N + ( N+N, N, +N +N, onecancount
'in any order' , and achi eve thesameresul t ,
PLLLP \ W\Lb
~ a neutral element which is Zero . N, -0 N, ,
~ i nversion whichisthesymmetriccounterpart . N, - ~N , 0,
~ commutativity. N, -N N -N, .
2 WecandehneonNumbersasecondoperation,namedmul ti p| i ca-
ti on, anddenoted by , which hasthe |o| l owi ng properti es.
~ associati vity. N,
.
( N N, N,
.
N_ N, ,
~ neutral element which is theNumber ! . N, I N, ,
~ existence o| an inverse i N |or every Numberdi ||erent |rom
Zero. N, i ( N ! ,
~ commutativity. N, N N N, .
3 Mul ti pl icationis distri butivein relationtoadditi on. N,
.
N-N
,
N, N -N , N,
.
These three operational consi derati ons woul d lead us t osaythat
Numbersform a commutaticee|d, i |it were not |orone probl em.
Numbersdonotecenformaset, becausetheyare i nconsistent.How
can something be a held~ which is supposed to be an a| gebraica| | y
dehnedentity~ i |itcannotbecounted asa multi pl e?
There|ore, prudently, we wi l l say onl y thi s. that every set consti -
tuted o|Numbers whosematter i s less than a givencardi nal i nhnity
there|ore every set constituted |rom Numbers whose matter i s
boundedbya' brute'hxedi nhnitequantitycanbegi venthestructure
o| a commutative held.
,W) e f W,
V,) ,
and
f W,
u
-
) e j WW, .
Whi ch i s t o say that tbe ordina| |ece| associated uitb cou|es
of Numbers of tbe tye (N[w,, N,), or (N,N,/w,) ui|| a|uays be
|ouer tban tbe ordina| |ece| associated uitb cou|es of Numbers
(N
|
N,).
Civen thi s |act, i n order i nductively to dehne the sum o|N, and
N,, we can suppose dehned sums o|the type N{u
-N, or N, -
N,/u
-
, which pertai n to a lowerordi nal level . We wi l l thus pass on
tothedehni ti on o| N, -N by |ormulatinga rule which assignsthe
val ue o|this sum on the basis o|the various val ues between N, and
N, on the one hand, the sub-Numbers o| N, and N, on the other.
The i mmanent concept o|sub-Number wi l l serve to underwrite the
i nducti on, which hxes their ordi nal level on the basis o| a coupl e
|ormed o|the matters o|thetwo Numbers underconsiderati on.
Fi nal | y, thestrategy wi l l mobi l isethe |undamental theoremo|the
cut. We will begin with the l ow set and the high set o| the two
Numbers N, and N,. We suppose dehned the sums o|each o|the
two Numbers with the sub-Numbers o|the l ow set and o|the high
set o| the other Number, according to a hxed combi nati on. These
sums can be assumed, because thei r ordinal level is lower. We can
thus obtai ntwo sets o|Numbers, and the sum o|N, andN,wi l l be
the uni que Numberdehned as cut o|thesetwo sets.
S. 6. lnductvc dchnton ol thc addton ol two ^umbcrs
' Levelzero' o|thei nductioncontai nsonlytheNumber 0, 0 . |ti sthe
only oneto have d as matter. We can thus posi t.
K L 1 0, 0 - 0, 0 0, 0 .
Wewi l l nowsupposet hat addi ti on is dehned |or al l levels lower
than an ordi nal W, that is, all levels corresponding to Numbers h,
and N
-
taken i nthatorder such that, their respecti ve matters being
W, and W
-
, it is thecasethatf W] ,V
-
e V.
Nowtakea coupl eo|NumbersN, andN,suchthat,thei rrespec-
tive matters being W, and W, , it i s the case that j WW, W. |n
other worJs a coupl eo|Numbers belongingto ordi nal level W.
PLLLP \ W\Lb Z0J
We have remarked that al l the couples o|type N, andN_/u, or
l[u andN_ , whereN{uandN_/uaresub-Numberso|N, andN,
belong to ordi nal levels i n|eri or to those o| the coupl e N, and N,
and there|ore i n|eriorto W.
It|ollowsthatwecansupposedehnedal l theaddi ti onso|thetype
N, -N,/u,orN{u -N .
We mustagree on an i mportantwritten convention here. We wi l l
writeN, -Lo N |ortbesetofNumbersconstitutedbyal l theresults
o|the addi ti ono|N, with each o|theNumbers o|the lowseto|N_
the low set o| N i s constituted, remember, o|al l sub-Numbers o|
N_ smal l er than N . | | Lo( N i s empty, the Number denoted by
N, - Lo N would be undehned we wi l l not consi der thi s i n the
calculations .
In the same way, we write N -Hi N |or the set o| Numbers
constituted by all the results o|the addition o|N, with each o|the
Numbers o|the high set o|N the high set o|N beingconstituted
byallsub-Numberso|N l argerthanN . Theconventionwi l l al ways
benotto botherwri ti ngthi s i |Hi N isempty.
Wewi l l adoptthesamenotati ontodesignatesetso|Numberswhi ch
result|romadditionsi mpl icatedi nLo( N -N , orHi ( N, -N_.
Additionwi l | thenbedehnedas|ol l ows. ontheonehandwe take
theseto|Numbers constituted by all the Numbers o|Lo Nj-N,
together with al l the Numbers o| N, -Lo N_ , on the other hand,
thesetconstituted byal l theNumberso|Hi ( Nj-N, togetherwi th
al l theNumbers o|N -Hi N . Inotherwords,we ' col lect' onone
si detheNumberswhi chare thesumo|N, andN andthe lowsub-
Numberso|theotherNumber,andontheothersi dethesamesums,
butwi ththehi gh sub-Numbers.
Wethusobtai ntwo sets o|Numbers,whichwecancal l L andH.
|ti snothardt oprove,bywayo|a ' i ncremental ' i nductionwhich
I leaveto one side,
-
that L and H are in a si tuati on o|a cut. every
Number o|L i ssmal ler than every Numbero|H.
Wethen uti l i sethe|undamental theorem chapter I 5 . Theresult
o| the addition o| N, and N wi l l be preci sel y the Number whi ch
makesacutbetweenthesesets, thati s, theuni queNumbero|mi ni mal
matter situated betweenthesets.
We posit.
L ( Lo Nj-N, N, -Lo( N
H Hi ( Nj-N, N + Hi ( N
KU Z N, -N LH, cuto| the two sets dehned above.
Z04 \LP1\WPL L1LWb1\Wb
I 8. 7. Addton s commutatvc
In|act, this cut, whichsupposedl ydehnesthesum N -N operates
onthe same sets as thecutwhi ch dehnes l -N_, as onecan show
i nductively with nodi |hcul ty.
Itistrueatl evel 0, wherethere i sonl ythesum, certai nl ycommu-
tative,d -0.
Suppose thatthe sums o|ordi nal levels i n|eri orto j W, ,W_ W
are commutative. Then, in parti cul ar, the sumsLo N-N, or N, -
Lo N arecommutati ve. So the set L Lo Nj-N,, N, -Lo N, ,
whi ch serves t odehne N, -N, , i s composed o|the same Numbers
as the set L
'
Lo N - Nj, N, - Lo Nj , whi ch serve to dehne
N, -N, . Evidently, the samegoes |or the set H. Andconsequently,
N, -N, , being dehned by the same cut as N, -N, i s equal to it.
addition is commutative.
I 8. 8. Jhc ^umbcr 0, whch s morc prccscIy thc Numbcr 0, 0} , s
thc ncutraI cIcmcnt tor addton
It i s a questi on o| proving that, |or every Number N, N -d N.
Induction canthi sti mebe appl ied di rectl ytotheordi nal~matter o|
theNumbers.
|t i strue at l evel 0, si nce rule i prescri bes thatd -d 0.
Supposethatthi si strue|or al l theNumbers o|l owermatterthan
W, . In other words, |or every Number N o| matter N such that
u e W N -d N.
Now take a Number N, o| matter W, . Let' s exami ne the sum
N[ - 0. The sets L and H o| the cut which dehne the addition
are.
L Lo N -0, Lo O -Nj
H Hi Nj-0 , Hi O -N
utthel owsetandthehi ghseto| theNumber0 ~ that is, ( 0, 0
are empty ( 0hasno sub-Numbers . Theconventionsadoptedin I 8. 6
prohi bit us |rom taki ng i nto account the terms Lo O - N, and
Hi O -N . Sowe actual l y have.
L Lo N-0
H Hi Nj-0
ut Lo N and Hi N are composed o| sub-Numbers o| N_
and there|ore o|Numbers o| lower matter than W, . Consequently,
the hypothesi s o| i nduction appl ies to all the Numbers o| LoN
PLLLP \ W\Lb Z05
or o| Hi Nj. |or anysuch Number, s ayN{u, i t i s the case that
Ndu + 0 Nj /u -
We can, with a sl ight abuse o| notation, write thi s resu| t in the
|orm Lo N+ 0 Lo Nj, Hi N+ 0 Hi Nj. Sothat, u| ti mate|y,
L and H, whi ch dehne by a cut the sum N
itse| |, and so it i s
indeedthecasethatN[ -0 N[ -
The i nduction iscomp|ete. |or a NumberN, whatever its matter,
d i sa neutral e|ement |or addi ti on.
I 8. 9. Lvcry ^umbcr N apart lrom 0 aIIows thc Numbcr -^ as ts
nvcrsc lor addton. ^ -^j 0
An importantpoi nt. si nce~N inverts the|orm andtheresi due o|N,
tbe|ousetof -^is comosedoftbeNumbers-^/w, ubereN/wi sa
Numberfrom tbe bigb set ofN,andtbe bigb setof-N is comosed
oftbeNumbers-N/w,ubere^/w isaNumberfromtbe|ousetofN.
Asub-NumberN/uisinthelowseti|ui si nthe|orm,andi tisi nthe
highseti |uisi ntheresi due. Thesedetermi nati onswi l l bei nvertedin
-N. And,sinceeverythi ngthatprecedesui nN i salso i nverted what
wasi nthe|ormi si ntheresidue,andwhatwasi ntheresi duei si nthe
|orm , inadditiontotheexchangeo|thelowsetandthehighset,we
wi | | a|sohaveanexchangeo|thesigns o|posi ti ve andnegative.
|n an abuse o|notation, we could there|ore write the high set o|
~N as~ Lo N , andthe| owset o|~N as ~ Hi N .
Theresu| t seethe i nductivedehni ti ono| addi ti on i s thatthetwo
sets L and H which dehne by a cut the sum N - ~N are the
|ol|owing.
L ( Lo N + ( ~N , N + ( ~( Hi ( N
H ( Hi N + ( ~N , l + ( ~( Lo( N
So the strategy o| the proo| consists i n proving that al | the N
umbers o| L are negative and al | the Numbers o| H posi ti ve. The
resultisthat0issituatedbetweenL andHandthat,beingnecessari | y
o|mi ni ma| matter i nthatposi ti on, it is 0 thatoccupiesthe posi ti on
o|thecutbetween L andH. Consequent| y,N + ~N O.
MMA | | the sum N[ + N i s positive, i | N[ + N 0, then
~ N< N, and~ N < N
.
The |emmais trueatordi na| |eve| 0, becauseatthat|eve| itcannot
possi b| y bethecasethatNj -N O.
Z0 \LP1\WPL L1LWb1\Wb
Suppose that it is true up to ordi na| |eve| W. |or every pai r o|
Numbers N
,
andN
-
suchthatj W,,W
-
e W,the property in ques-
ti onhol ds. | saythatitalso mustho| d|orevery pairo|NumbersN ,
andN, suchthatj WW W.
The sum N, - N, i s dehned by the cut LH. | | thi s cut is
positive, it is because set L contai ns positive Numbers,
or else the
cut wou| d be negative or nu|| see the argument on cuts i n 5. } .
As |or set H, i t onl y contai ns positive Numbers. Consequently,
there are Numbers in Lo Nj - N, or i n N, - Lo N, that are
positive, and all the Numbers o| Hi N, - N, or o| N, - Hi ( N_
are so.
Take |or example N, /u -N as a positive Number o| Lo( Nj +
N, . The pai r o| N, /u and N, is o| lower ordi na| |eve| than V, and
the |emma i sthere|oresupposedto betrueo|it. si ncethesumN{u
-N, i spositi ve, it i sthe case that~ N < N,/u, and, since N{u is
i nthel owseto|N iti sa |ortiorithecasethat~ N < N, . |nexam-
i ni ng the other components o| sets L and H, the | emma can be
estab| i shed in a| | general ity.
Now | et' s come back to the sum N - ~N . Consi der the set L
whi ch dehnes it by a cut, so.
L Lo N - ~N , N -( ~Hi ( N .
Suppose that there are positive Numbers i nL. Take |or examp|e
onesuch NumberN/u- ~N , whereN/ui s|romthe| owseto|N.
| nvi rtueo|the| emma, it i sthecasethat ~ ~N < N/u, soN < N/u,
whi ch is i mpossi b| esi nceN/u, being |rom the |ow set o|N, mustbe
sma| |erthanN. ||N - ~N{u is posi ti ve, N{u beingin the highset
o| P, it must be thecase thatN {u < N, which is prohi bi ted, si nce
N{u bel ongs tothehighset. We meetwith ani mpasse,and sothere
are no posi ti ve Numbers in set L.
Symmetrical deductionswoul ddemonstratethattherearenonega-
tive ornul l Numbers i n setH.
Fi na| | y, the cut L/H which dehnes the result o| the addition
N - ~N operatesbetween a setL o|negativeNumbersandasetH
o|posi ti veNumbers. TheNumbero|mi ni ma| mattersituatedbetween
these two sets i snecessari l y0, and soN - ~N O.
Sowecan saythat~ N isthei nverse o|N |or addition.
8. 0. Conhrmi ng that the additi on o| Numbers is associative i s,
as al ways, a ti resome calcul ati on. |t i s, it i s. . . To the extent that
we have estab| i shed that Numbers, endowed - so to speak ~ with
addi ti on dehned i nductive|y bythecut.
PLLLP \ W\Lb Z07
woul d |orm were it not |or the i nconsi stency o|thei r ' Al l ' . . . an
orderedcommutativegroup,o|whi chtheNumberZero either 0, 0
or0,i t' sal l thesame i stheneutral el ement.
To conhrm that the ' representatives' in our Numbers o| whole
positives and negati ves, rati onal s, real s, ordi nal s, are in |act these
numbersthemselves, but thought i n their being, we must prove that
addition in thenormal sense o|thesenumberscoi ncideswith addi -
ti ono|theirbeingasNumbers. Forexampl e, i |j andr, arenumbers
|romthereal held, andi |[ + _ r with ' cl assi c' addi ti on, thenthe
Numbers q _ and dehnedasNumberso|hnitematteroro|matter
as we presented them i n 6. Z7, are such that, addition being
dehnedi nductivel yas above, it i sal waysthecasethatj + r, .
Theseconhrmationso|algebraici somorphydemandno l ittlei nge-
nuity,aboveal| whenitcomestomul ti pl i cati on whichl abyrinthwe
will avoid entering into .
8. . I wi l l content mysel | wi th carryi ng out the verihcation |or
natural whol enumbers.
Remember |rom 6. 3 } thata natural whol enumbern presented
as Number is o|the |orm ( n, n , where n is a hni te ordi nal . Recal l
al so i bi d. that the | ow set o| n i s consti tuted by al l the whol e
Numbers lowerthan n, andthati tshighsetis empty.
Taketwonatural whol eNumbers n, ,nand( n,, n, . Thei rsumi s
|ormal l ydehned bythecut.
ut, as Hi njand Hi n are empty, the sums o|setH o|thecut
arenotdehned convention on thedehni ti on o|additi on, see 8. 6} .
Set H is there|ore empty, whi ch amounts t osayi ng thatt hes umi s
si mp| ytbe uper boundofsetL.
Si nce Lo( n is the set o|Numbers l owerthan n, , t hes umLo n
+ n, i s constituted byal l thesums d + n,, I + n,, . . . ( n, ~ I + n,.
And, in j ust the same way, n, + Lo n, is constituted by al l the
sumsn, + 0, n, + !, . . . , n, + n, ~ ! .
The l argest Numbero| these sums i s i n al l evi dence the Number
n + n,
~ ! .
Reasoning by inducti on. suppose that, up to the ordi nal rank
whichcorrespondsto the pai r o|Numbers n , n, so, i n real ity, the
Numbers n ,nand n,, n, , there|oreuptotheordi nal N f( n, , n_ ,
i t i s true that the sum o| wholes as Numbers wi l | bethe Number
Z08 \LP1\WPL L1LWb1\Wb
whi chcorrespondsto the norma| sum o|thewho|es. ln particu| ar,
that it i s true |or the pai rn , , t - I } , which is evi dent|y o|a lower
ordi nal rank than the pair n , ,n . |t i s there|ore to be supposed that
n , n - n - I } , n_ ~ ! the Numberwhich corresponds to the
ordi naryaddi ti ono|thenumbersn, and n - I } , thati s, theNumber
n , - n - I } , n , - tt - I } } , where the sign -denotes the ordinary
addition o| who| enumbers.
Nowwecome toseethatthel argest Number intheset L which
dehnes n, -n i s preci se| y n, - tt - I } . In vi rtue o|the hypothesis
o| i nducti on, thi s Number is the Number which corresponds to its
being written asan ordi nary addition~ theNumberwhichinscribes
the who| enumbern , -n_ - I .
Now, n j -n i nthesenseo|theadditiono|Numbersi stheupper
boundo|L. Andeveryupperboundi sa Numbero|thetype W,W ,
aswehavedemonstratedinI 5. 9. Theupperboundo|Lwi | | there|ore
bethesma| lestNumbero|thetype W, W tobesuperi ortothel argest
Numberi n L, whi ch is theNumber n , -n - I , tt , -n_ - ! ( where
the signs - and ~ have thei r traditional meaning, as when dea|ing
with numbers . This Number i s evident|y n , -n_,n , -n_ } , because
n , -n_ i sthe hnite ordi na| which comes i mmedi ate|y a|terthehnite
ordi na| n , -n - ! .
Consequentl y, the sum i n the Number sense o|the two who|e
Numbers n, and n i s the Numberthat represents the number sum
n, - n i n the number sense . The addition o| who| e Numbers is
i somorphic to thetradi ti onal addition o|who| enumbers.
Thetreatmento|who| enegativenumbersposesnogreatprob| em
ani nteresti ngexerci se . Thusitisconhrmedthatthewho|e positive
andnegative Numbers|orma commutativegroupisomorphictothe
additivegroup o|the ring o|the a|gebraicwho| enumbers.
The reader wi|l have grasped the essence o| operationa| proce-
dures. hnd a ' good' i nductivedehni ti ono|the| i nks, provethec| assi c
a| gebraic properties associ ati vity, commutativity, neutra| e|ement,
i nverse, di stri buti vity. . . , conhrm thatwhatone obtains i s i somor-
phi c, |or the c| assi ca| numbers represented in Numbers, to the
structures which these numbers are endowed with.
However| abori ousthesee||ortsmi ght be, they|eadto the desi red
conc| usi on. a| | thec| assic a|gebraicstructures the ring o|a|gebraic
who|e numbers,the he|d o|rationa| s, thehe| d J o|rea| s , andal |
the ' i nconsistent' a| gebras addition and mu| ti pl ication o| ordi na| s
are i somorphi c to thesubstructures di scerni b|e wi thi n Numbers.
And so it i s that a|l types o| numbers, without exception and
in thei r every di mensi on, are subsumed by the unique concept o|
Number.
LOHCl uS| OH
| ?
| H LOHCUSOH.
|tOH luHOCt tO t3HS- oCH_
I9. I . Number is neither a trait o| the concept, nor an operational
hcti on,neitheranempi ri ca| given,nora constitutiveortranscenden-
tal category, neither a syntax, nor a language game, not even an
abstraction|romourideao|order. Numberi su fLM Lf8eing. More
precisely,thenumbersthatwemani pul ate are onl ya ti nydeducti on
|romthei nhnite pro|usi ono|ei ngi nNumbers.
Essenti al l y, a Numberi sa |ragmentsectioned|roma natural mul -
ti pl icity,a mul ti pl icity thought, asordi na| , in i ts being qua being.
Thel inearordero|Numbers,| i kethei ralgebra,i sLM wayo|tra-
versingorinvestigatingthei rbei ng. Thi swayi sl abori ousandl i mited.
|texhi bitsNumberin a tightnetwork o|l i nks, whosethree pri nci pal
categoriesaresuccessi on, l i mi tandoperations. Thi si swherethei | | u-
si onari ses o|a structural orcombi natory bei ngo|Number. ut, i n
real ity,thestructuresareconsequences,|orourhni tethought,o|that
whichi slegiblei nNumberaspuremul ti pl icity. TheydeposeNumber
in a boundpresentationwhi chmakes us bel ievethatwe mani pul ate
it |i ke an obj ect. ut Number is not an obj ect. e|ore every bound
presentation, and i n the un-bound eternity o| its bei ng, Number i s
avai l able tothoughtasa |ormal section o|themul ti p| e.
We mi ght al so say that between Number, whi ch i nscri bes i ts
sectioni ntheunrepresentabl einconsistencyo|natural mul ti p|es, and
number, which we mani pu|ate according to structural l i nks, passes
thedi ||erence between eingandbeings. Numberi sthe pl ace o|the
bei ng qua bei ng, fL the mani pul abl e numerical ity o| numbers.
Numberek-sists i nnumberasthel atencyo|its bei ng.
Z Z L\WLL\b1\W
. Z. Thi s onl y makes it more remarkab|e, then, that we can have
some access to Number as such, even i| thi saccess sti l l i ndicates an
excess. that o| being over know|edges, an excess mani |est in the
numberl ess extent o|Numbers, compared to what we can know by
structuri ng the presentation o|types o|numbers. That mathematics
al l ows us at least to designate this excess, to accede to it, conhrms
theonto|ogica| vocationo|thatdi sci p| i ne. Thehi storyo|mathemat-
ics,|ortheconcepto|Numberas|oreveryotherconcept,i sprecisely
the history, intermi nabl e i n pri nci pl e, o| the rel ation between the
i nconsi stencyo|being assuch, and what ourthoughtcan makecon-
sistento|thi si nconsi stency. Mathematicsestabl i shesontologyasthe
hi storical si tuati on o| bei ng. |t progresses constantl y uitbin ontico-
ontologica| di ||erence, bringing to l ight, as the l atency o|the struc-
tures presented i n the ontological si tuati on, an excessi ve horizon o|
i nconsi stency,o|whi chstructuresareon| ye||ects|orahnitethought.
|ti sthistraj ectorywhichwehave reconstructedat oneo|itspoints.
that which designates, beyond numbers, the i nconsi stent multi ple-
eternity o| Numbers .
. 3. Number is thus rendered over to being, and subtracted |rom
the humani ty o|operationsorhgures o|order, whi chnevertheless it
continues to subtend i nthought. The task concerning Number, and
numbers, can onl y be to pursue the depl oyment o| their concept
withi n ontico-ontological di ||erence. Number |al l swi thi nthe excl u-
si vepurviewo|mathematics,at| eastso|arasthethi nkingo|number
i s concerned. Our phi l osophi ca| proj ect prescribes this exc|usi vity,
anddesignatesubereNumberisgi venastheresourceo|beingwithin
the l i mits o|a situation, the ontological ormathematical situation.
We must abandon the path o| the thi nki ng o| Number |o| l owed
by Frege or Peano, to say nothi ng o| Russell or Wittgenstei n. We
must even radi cal ise, overHow, thi nk up to the poi nto|di ssol uti on,
Dedeki nd' s or Cantor' s enterpri se. There exi sts no deduction o|
Number, it i s sol el y a question o| a hdel ity to that whi ch, i n its
i nconsi stent excess, i straced as hi storical consi stency i nthe intermi -
nabl emovement o|mathemati cal re|oundations.
Themoderni nstanceo|thi smovementatteststothevoi dandthe
i nhnite as materi al s |or thethi nki ngo|Number. Neverthe|ess, none
o|theseconceptscanbei n|erred|romexperience,nordotheypropose
themselves toanyi ntui ti on, orsubmi ttoany deducti on, evenatran-
scendental one. Noneo|themamountsto thc |orm o|an obj ect, or
o|obj ectivity. These concepts ari se |rom a dccision, whose written
|ormis the axi om, a deci si onthatreveal sthe openi ngo|a newepoch
|or the thought o|being qua bei ng. eing asks nothing more o|us,
\ W\c \ PWb- c |WL Z J
at this poi nt, than thatwe dogged|y pursue the i nscri ption~ wi thi n
a revi sedonto|ogica|si tuati on~ o|thatwhi ch, i ntraci ngthei ncon-
sistent latency o|bei ng, |ai th|u| l y prepares the rupture ata poi nto|
that p| ace where itconsi sts forus.
. 4. |tisthenpossi bl etomai ntai nthatthecontemporary ' banal i sa-
ti on' o| number is outside a| | thought. The reign o| number, the
portentso|whi chIdi scussedatthebegi nni ngo|thi sbook, isi ntran-
sitive to the mathematica| thought o|Number. It i mposes the |a| | a-
ci ousi deao|a bondbetween numeri ca| ity and va| ue, ortruth. ut
Number,whi chi saninstanceo|bei ngassuch, cansupportnova| ue,
andhasnotruthotherthanthatwhich i sgi ventoiti nmathematica|
thought, e||ectuating its hi storica| presentation |or us.
| |the reign o| number ~ i n opi ni on po| | s or votes, in nati ona|
accounts or in pri vate enterprise, i n the monetary economy, i n the
asubj ectivising eva| uation o| subj ects ~ cannot be authori sed by
Numberor bythethi nki ng o|Number, itis because i t|o| | ows |rom
thesi mp|e |awo|thesi tuati on,whi chisthe |aw o|Capita| . This| aw
assures, as does every | aw, the count-|or-one o|that whi ch i s pre-
sented in the situation, it makes our hi storica| situation consi st, but
itcannotmakeanyc| ai mtotruth. neithertoa trutho|Number, nor
to a truth which would under|ie that which Number designates as
|orm o|being.
|n our situati on, that o|Capi tal , the reign o|number is thus the
rei gno|theunthoughtsl averyo|numeri ca| i tyitsel |. Number,whi ch,
soit isc| ai med,under|ieseverythi ng o|va| ue, is inactua| |acta pro-
scription against any thinking o| number i tse| |. Number operates
as that obscure poi nt where the si tuati on concentrates its | aw,
obscure through i ts beingatoncesovereign and subtracted |rom a| |
thought,andeven|romeveryi nvestigationthatorientsitse| |towards
sometruth.
The resu| t is that al l thought necessari | y depl oys itsel |today in a
retreat with regard to the reign o| number, i nc| udi ngevery thought
thattri estomakea truth o|Number. Iti si nthi ssensethatwemust
hearken to Ma| | arme' s slogan, more perti nent than ever. that o|
restrainedaction.
lOtCS
r&n9&tOr9 r0&C0
I London. Continuum, Z005.
Z Mi nncapo| i s. Uni vcrsity o| Mi nncsota Ircss, Z00J.
J London. Continuum, Z004, in particu| ar, ch. 5, '1hc cing o|
Mumbcr`, rcprcscnts an cxtrcmc|y condcnscd g|oss o| thc prcscnt
work.
4 5cc |or cxamp|cch. Zn 4.
Lh>0r MuDD0r Pu9t 0 hOu@ht
I jOcdcki nd, k. , Was sinJ nnJ uus so//cn Jic Zu//cn raunschwcig.
I. Vicvcg, I 8 8 8 , Lng| i sh trans| ation 1/c Matnrc anJ Mcaning o[
Mnmcrs, in cman, W. W. cd. , trans . } , Lssays on t/c 1/cory o[
Mnmcrs La 5a| | c, IL. pcn Court, I 90 I , rcprintcd MY. Oovcr
I 96J . adi ou` src|crcncci sto thctrans| ati onby|. Mi | ncr,withI.
5inaccur' si ntroduction,Lcs lomrcs, quc son/-i/s c/ a qnoi scrtcn/-
i/sr Iari s. Mavarin, ! 979 . A| | rc|crcnccs givcn bc|ow arc to thc
numbcrcd scctions o|Ocdcki nd` s trcati sc. - trans. |
Z jaci L ant/ropos arit/mc/izci - ' man i s a|ways counting' - in
Ocdckind, ' Mumbcrs' , Irc|acc to thc hrst cdn. - trans. |
J j Marx and Lngc|s, Commnnist Mani[csto, trans| atcd by 5. Moorc,
with introduction and notcs by G. 5. |oncs London. Icngui n,
Z00Z} , p. ZZZ. - trans. |
Z W\Lb \ PLLb - l l
Lh>0r r00K MuDD0r &n0 PO00rn MuDD0r
I Consi dcr,|orcxamp| c, thc dchni ti ono|numbcrin Luc| i d` sL/cmcnts
ookVlI, dchnitionZ} . `Apt0|o:tv1Otk0VG0V ouycIcvov
x\q0o' . Wc might trans| atci tas|o| | ows. ' Annmbcrisa mu|ti tudc
composcdol uni ti cs. ` 1hc dchnition o|numbcr i ssccondary, bcing
dcpcndcnt upon that o| uni ty. ut what docs dchnition I , that o|
unity, say! OVG 801tV, KOUqV 8KO01OV 1tu V1uV 8V l|!10|:
' Uni ty is that by vi rtuc o|whi ch cach bcing i s said to bc onc. ` Wc
can scc i mmcdi atc| y what onto| ogi ca| substructurc is prcsupposcd
bythc mathcmatica| dchnition o|numbcr. thatthc nccanbc said
o|a bcing i n so |ar as it is.
Z j trait. scc ch. ZnJ. - trans. |
J j Conway, |. I. , Cn Mnmcrs anJ Camcs London Mathc-
mati ca| 5ocictyMonographsno. 6, London. AcadcmicIrcss, I 976 .
- trans. |
4 j Knuth, O. L. , Snrrca/ ^nmcrs Kcadi ng, MA. Addi sonWcs|cy,
I 974} . - trans. |
5 j Gonshor, I. , An |ntroJnction to t/c 1/cory oj Snrrca/ Mumcrs
London Mathcmatica| 5ocicty Lccturc Motc 5crics, I I 0, Cam
bridgc. Cambri dgc Uni vcrsi ty Ircss, I 986} . - trans. |
6 j 5incc thc | anguagc o| ' who|c' and ' natura| ` numbcrs is i n|orma|
and nota| ways app| i cdconsi stcnt|y, it is worthwhi | c to sct out thc
usagc o| thc prcscnt work, a| ong with thc |orma| mathcmatica|
cguiva|cnts.