Any consistent formal system strong enough to describe arithmetic.
Unrelated flight booking page.
Also unrelated.