Благодарю! Интересно где ещё, в каких науках, кроме философии и математики, принципиально абстрактные объекты исследования?
Похоже, математики проверяют правильность выводов исключительно логикой. Экспериментальная проверка (в смысле практического применения) обычно запаздывает на десятилетия.