God, Gödel, and Grace

GPTKB entity