Van meta-matematika is.  Nem vicc, tényleg van.