第一不完全性定理を証明したhttps://github.com/iehality/lean4-logic/blob/master/Logic/Predicate/FirstOrder/Incompleteness/FirstIncompleteness.lean
@palalansouki
おめでとう!
@sno2wman 本当にうれしい
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
@sno2wman
本当にうれしい