https://link.springer.com/book/10.1007/978-94-010-0411-4

> M. Fitting; "Types, Tableaus, and Gödel’s God"

Gödel Godが何かは知ってはいるけど、それにしても並べられると字面が物騒すぎる