重 訓 紀錄app PTT. Jez meaning. Poliform Lexington day system. Axiom of choice equivalent statements examples.