Prussian blue

(historical) The public executioner in Paris, France.

(mathematical logic) A theorem stating that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.

A complex butter-based sauce served with grilled beef.