Also known as standard logic, Frege–Russell logic
matematiksel mantıkta 19. yüzyılın sonundan itibaren geliştirilen ilk dil ve matematiksel akıl yürütme biçimlendirmesi
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).