Every mathematical discipline goes through three periods of development: the naive, the formal, and the critical.