Математика является учением об отношениях между формулами, лишенными какого бы то ни было содержания.

Давид Гильберт