discussion:en:mathematical_logic