There are so many solvable problems here but the main issue is a thought experiment listed in Robert Anton Wilson's "Quantum Psychology." The illustration is that of a monk contemplating in a cell that he is a cow and after a some time he is unable to leave his cell because he his horns won't fit through the door. The problems in this book are similar a many mathematicians are have their mental hands tied by others mental ropes and thus claim something unthinkable by not allowing the ropes to be untied or just admitting they don't exist. So here are a couple of issues that can be fixed by removing some mental shackles.
Cantor's Insanity for a Decimal Based Infinity with Alpha Null - One of the most heart breaking stories is Cantor's suicide due bulling and the right idea but with a corrupted math language... he was on the right track with his geometric factorial sets (line ratios) but the decimals threw him. So with a little logic of primes, the base ten system is good for numbers composed of factors of 2 and 5. 1/2 is .5 and 1/5 is .2... second powers are the same with 1/4 being .25 and 1/25 being .04... the problem comes with a prime factor that is not a 2 or a 5 like 3. 1/3 is .33333333333333... and on but a pie can be cut in three pieces with no reminder (as long as one isn't to the molecular anal level) but this can be proven with a base 30 system. The Hebrews use there 22 letter alphabet as a number system as well so lets make a base 30 system with the roman alphabet plus 4 other characters. ABCDEFGHIJKLMNOPQRSTUVWXYZ$#@0 would be the unique numerals and would repeat in trecmals instead of decimals so "A0"would be 30 and "B0" would be 60... "CE" would be 95. So in a lower trecmal place A (1) divided by C (3) or A/C would be ".J" and end there being the 10/30th of the way through the system with no remainder. All that is to say that fractions as nesting functions are accurate and true to measure the space from 0/0 to 1/1 rather than the corruption of decimal strings which are handy for less or greater than comparisons (anyone who's uses metric and imperial standard fractions wrenches knows the difference as the denominators is change so using 16 or 32 transforms makes it a little easier). Whats more one can see a cool stacking phenomena in pie if you count the overlap frequency as 1/1, 1/2 - 2/2, 1/3 - 2/3 - 3/3, then 1/4 -2/4 -3/4 - 4/4 etc as 0/0, 0/1, 0/1 are later. But the inverse of N/1 will be it's frequency in above and below 1/1... every other number has at least on 2 so half of infinity is "even" and the 4s nest on ever other 2 like wave intersecting... the same for 8s as every third 2 or it's exponent counting within frequencies... but it's the same between 0/0 and 1/1. So 1/2 of the fractions will have a redundancy on the 1/2 line in terms of a bar graph. The same with exponents of 3 in 1/3 or exponents of synthetic of primes like 1/6 landing on both their primes and unique marks. Yet the main reason for misunderstanding infinite sequences is due to the base ten decimal strings that hide the fractional frequency overlaps above and below the gauge of one over one and there's plenty to explore in this space but Cantor couldn't get it with those horn on his head and stubborn peers fencing him in.
Dividing by Zero and the Infinitesimals or Fluctuation - The Author mentions Bonaventura Cavalieri's work on infinitesimals for one dimensional lines or two dimensional planes one dimension thick. The same thing appears with Newton's fluctuations or Leibniz's infinitesimals and the symbols to describe them in the joint discovery of Calculus as well as Bishop Berkeley's commentaries. So once again there is a clear phenomena but because it doesn't have a mental reference, it is said not to exist with a name alone as math requires numbers. So let's give it a number but seeing how far away an infinitesimal is from itself: 1/1 - 1/1 = 0/1. So it is a zero point but if you keep the denominator it is differentiated from plain zero... and has a point place on a line or plane or volume for any number referenced from the origin. Thus a line is 0/1 thick and a 2D area is 0/1 deep... they can be summed but that requires more out of the box thinking with the denominator and frequency spacing as described with the fractions above. The main point is that you can divide by zero if you think about the problem and add more detail so information is not lost. Say you have an area that is 1*1 which is 1^2 in the X and Y dimensions so that 1^2 = 1 (X) * 1(Y). Now if we count the zero point lines in each direction there should be 1/0 lines of 1/1 with respect to X's vertical lines in Y and Y's horizontal lines in X each a 0/1 thick (1/0*0/1 = 1/1 *0/0 for no information loss with 0). So if we break it down, the zero point lines can be stack on top of each other to make a line (1/0)*(1/1) tall (in Y) or wide (in X) and (0/1) thick in (in X or Y respectively) and still have the same amount (0/0) of area in terms of the (1/1)*(1/1) by keeping track of 1s and 0s and the amount of dimensions as well as the total stuff that is zeroed in. You could do the same for a different area or by adding another dimension for a volume. Granted, new notation is needed but that's not hard so long as it always describe the phenomena accurately instead of the vain task of making the phenomena fit the arbitrary notation. This can also be applied to the example of Gabriel's Horn in the books as scaling there infinities and zero point is the basis of the fundamental theorem of calculus with differentiation and integration. The slope (dualistic) at a point (non dualistic zero point) would be similar to a 1/2 offset with a grid and it's delta or measure from the origin (0/0) zero point in left,right,up, down,back, front in terms of delta zero points so they are offset by 1/2 a zero point or it polarities... thus a point overlapping its delta on a line slope would have certain amount of zero points to one side and so many to the other for a differentiated slope at a point (dual and non dual).
Heterogeneous Fractions Vs Homogeneous Fractions - This is more of an addendum to make the new numbers add up but it requires unique rules for unique numbers. As a visual, think of a box 1/1 by 1/1 and 1/2 of it is blue and 1/2 is red. So with a homogeneous fraction there would be 2 rectangles 1/1x1/2 one red and one blue. In an as above so below, lets imaging all even fractions denominator points (N/2, N/4, N/6... etc) on the one side of 1/2 as blue and all the odd fraction denominator points (N/1, N/3, N/5... etc) so while the points can be counted the can be order below the 1/1 gauge from 0/0 with all the points. Now imagine the square is purple and thus heterogeneous fractions so that ever other point is red (0/1), blue (0/2), red (0/3), blue (0/4)... etc. So these are the points Zeno would count by an at the lowest level then can be tangent and the full standard infinity will end at 1/1 as a 1/0 of 0/1s. So a heterogeneous 0/3 in 3 would be three distinct 0/1s (yellow, black, white) and a homogeneous 0/4 would be a solid set of 0/1s. So they can be added but in the denominators and additional language is required... like with waves instead of marks on a ruler... so a 0/5 is five time the wavelength of a 0/1 (with the duality of units). Additional 0/2*2/0 = 2/2 * 0/0 reduces to 1/1 but that hides information... the units are the same because 0/2 is twice the length of 0/1 but 2/0 is twice the length of 1/0... so it is 2/1 as long compared to 1/1 but 1/2 as dense since it's zero points are larger... so the math can work and expand capabilities reliant to light waves and infinities in black holes for physics and other features.
Bertrand Russel's Logical Book Shelf - So this one morose has to to with an "All" set and a logical syntax that can handle various classes. Symbolic logic is fun but it often runs into issues with defining necessary and sufficient conditions due to complexities that would take to long to define down to the atomic level. So in abstract a classic is "all trees are plants" so her being a plant is a necessary condition to be a tree but not a sufficient one because a thing could be a plant and not a tree by being a flower or grass. Now if a thing is a tree, it is sufficient to conclude that it a plant... however, the math of primes is much easier to use and would allow for complex categorical groupings. Instead of a plant/tree example, lets look at the number 30... logically we can say that 30 is sufficient in saying that it's primes are 2, 3, 5 (1,6,10,15, and 30 as more ambiguous degrees). 2, 3, and 5 are necessary for 30 but not sufficient as 2 could be present but so could 7 for 14 and all three of them need to be present without additional prime factors. So it wouldn't be hard to assign values and orders to categories based on primes but not allowing them to collapse so that 4*8 would not be the same as 2 * 16 even though both would make 32... the same would be true of an area but a 4x8 rectangle is not the same as a 2x16 rectangle even if the area is equal... information is lost in the system. So for his lack of an "all quality" for a category we could use the power zero, a power of 1 for an infinitive category (a something verse the something), and an ordered list of from powers 2 and beyond. So for a library of all music we could use 2 as a prime category and power zero for the full set where as 4 could be a specific song, 8 another, 16 another, and so on. Synthetics of categories could also be used as he mentions a bookshelf not belonging to the category of books. So the category of book could be 3 and the category shelf could be 5 so an infinitive book shelf would be 3*5... It could be shelf 125 of a list of all shelves and contain books 9, 81, etc.. on the list of books. It's a clunky system but more of an abstract way to group and nest categories withing the All of All class of zero and carve out ordered space in infinity in a logical manner.
This is a wonderful book filled with the drama, sorrows, and egos of mathematicians grappling with the infinite nature of numbers as they underpin science and thus human knowledge and progress. The mathematics education is out done by the vivid narratives that went into the discoveries.