GYENIS, 2019. STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE.. https://doi.org/10.1017/s1755020319000157