Однажды математики изгнали Бога из математики. За некорректность. И стали жить атеистами. Но в середине 20 века появился человек, который вернул Бога в математику. И звали его Абрахам Робинсон.