Hacker News new | ask | show | jobs
by bananaflag 400 days ago
Well you can just put the nbg instead, which is finitely axiomatizable