Fransızca

We
need an unlimited supply of them, just as we had of atoms in the Propositional
Calculus. We will use a similar method for making more variables:
tacking on any number of primes.

Türkçe

Önermeler Mantığı'nda atomlara sahip olduğumuz gibi, bunlardan da sınırsız bir kaynağa ihtiyacımız var. Daha fazla değişken oluşturmak için benzer bir yöntem kullanacağız: istediğimiz sayıda asal sayı ekleyerek.

(5000 karakter kaldı)
Fransızca
Türkçe

İçindekiler

ADS - REKLAMLAR