В любой теории есть философия и математика. Пока теория трансфинитных чисел, как плод, как детище формальной математики, остается в лоне семьи. Но что будет завтра никто не знает. Геометрия Лобачевского тоже долгое время оставалась чисто формальной математикой.