Он оперирует совершенно другими объектами.

Насколько мне известно, это даже не теория, а просто другой взгляд на доказательства, в которых используется понятие бесконечности.