https://philpapers.org/rec/CIEHAI
Grelling-Nelsonのパラドクスも頑張ると形式化できて第2不完全性定理が得られるらしい，が，無料で読む手段は無い(泣)
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
