| Autor: |
Normatov, Ibrokhimali |
| Předmět: |
|
| Zdroj: |
AIP Conference Proceedings; 2023, Vol. 2781 Issue 1, p1-6, 6p |
| Abstrakt: |
The article is devoted to the infinite individual areas of logic a nd arithmetic, with t he construction of conjunction arithmetic formulas using predicates. It is proved that the problem of establishing the consistency of the system f0 and infinity in the individual domain is defined. Examples of the decomposition of the proof into threads in digital notation are g iven. These examples show that any formula derived from the reduced system without using bound variables is true. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
