This will be an awesome models of Peano Arithmetic Wiki :)... Let's try to do math: $2^\kappa=\kappa$
