2026-04-08 18:59 UTC
@robinadams@mathstodon.xyz Handbook of Mathematical Logic, specifically the section on the incompletness theorems
Replies (1)
-
@markusde@mathstodon.xyz 2026-04-08 20:06
@sainati@types.pl @robinadams@mathstodon.xyz more like incomplete theorems am I right