“Explaining the Undecidability of First-Order Logic”. 2024. Philosophical Problems in Science (Zagadnienia Filozoficzne W Nauce), no. 77 (December): 3-23. https://doi.org/10.59203/zfn.77.694.