Skip to Main Content
Article navigation
Purpose

This paper is the third part of the effort to resolve the following two problems, which urgently need an answer: how can an appropriate theoretical foundation be chosen for modern mathematics and computer science? And, under what interpretations can modern mathematics and the theory of computer science be kept as completely as possible?

Design/methodology/approach

The paper is a conceptual discussion of the metatheory.

Findings

The paper establishes the metatheory of the logical foundation for the mathematical system of potential infinities.

Originality/value

The authors prove the relevant results on the reliability and the completeness of the logical system.

You do not currently have access to this content.
Don't already have an account? Register

Purchased this content as a guest? Enter your email address to restore access.

Please enter valid email address.
Email address must be 94 characters or fewer.
Pay-Per-View Access
$41.00
Rental

or Create an Account

Close Modal
Close Modal