[kisoron-ml] [logic-ml] Frege's fifth basic law of thought

[logic]

> Notre Dam J. Formal Logic
> 
> に掲載された下記の論文をreview
> しましたので、御案内しておきます。

https://zbmath.org/pdf/07391965.pdf
> 
> にしむら
> https://www.researchgate.net/profile/Hirokazu-Nishimura
> https://www.youtube.com/watch?v=xonSQNbSvNk
>