A statement equivalent to First Incompleteness theorem There are theorems that can be neither proved nor disproved in a given
Continue readingTag: mathematical theology
Offtopic: Formalized Gospel theology
This is partly an offtopic post in my math blog. It seems likely that I discovered a category in which
Continue readingOfftopic: John 3:16 – Christ having an universal property
Bible, John 3:16: (CJB) “For God so loved the world that he gave his only and unique Son, so that
Continue reading