kiki or bouba?

Most people match the made-up word kiki to a spiky shape and bouba to a rounded one: the bouba/kiki effect. This site asks the same of math concepts. Is the axiom of choice kiki or bouba?

Voting. Each round is one of four kinds: pick which of two is more kiki (or more bouba), pick the most kiki and the most bouba of four, place three or four on a spectrum, or place a single one. Votes are anonymous and all go into one global ranking.

Ranking. Every vote is turned into comparisons of the form “A is more kiki than B”, and spectrum placements also compare each concept against a neutral midpoint. A Bradley–Terry model fits one score per concept to all the comparisons at once, so concepts that were never compared directly still line up. A concept's percentage is the model's chance that it beats neutral, and concepts with few judgments stay close to neutral until more votes come in.

About. This started as a whiteboard exercise in LT1310, the MSP office. The site was built by Rin and Vikraman.