Most of the fundamental results about the natural numbers, and many other mathematical theorems, can be proven in this system.

He spent much time writing mathematical theorems and exercises.

Personally, I could never follow his mathematical theorems.

Tychonoff's theorem has been used to prove many other mathematical theorems.

"But I find it natural that the elegant mathematical theorems associated with paper surfaces should lead to visual elegance as well."

The old university had world-class professors who did groundbreaking work in mathematical theorems and astronomy.

A number of mathematical theorems and concepts is associated with the name of Blaschke.

A similar, but not identical tool for proving mathematical theorems is the proof by contraposition.

Gender is far more difficult to discern in mathematical theorems than in plots of novels.

Virtually all mathematical theorems today can be formulated as theorems of set theory.

The overwhelming majority of works in this ocean contain new mathematical theorems and their proofs."

Nonetheless, there is some degree of empiricism and data collection involved in the discovery of mathematical theorems.

Townsend's lyrical influences covered a wide range of themes, including warfare, mathematical theorems, and movies.

"We're not talking about some kind of zombie lurching around with its arms stretched out, spouting mathematical theorems.

The program of reverse mathematics uses these subsystems to measure the noncomputability inherent in well known mathematical theorems.

Theorem provers use automated reasoning techniques to determine proofs of mathematical theorems.

Gromov's compactness theorem can refer to either of two mathematical theorems:

Some mathematical theorems and axioms are referred to as laws because they provide logical foundation to empirical laws.

There are several mathematical theorems named after Ferdinand Georg Frobenius.

The principal criticism is that mathematical theorems are truths and truths by their nature are infallible.

He is the developer and co-developer of dozens of mathematical theorems and has had a lasting influence in 20th-century mathematics.

Another effect of using second-order arithmetic is the need to restrict general mathematical theorems to forms that can be expressed within arithmetic.

Most authors rationalize this shift by observing that the modern definition more naturally suits mathematical theorems that concern the primes.

Thue's theorem may refer to the following mathematical theorems named after Axel Thue:

Ro had already checked them against every combination the computer could come up with, from mathematical theorems to replicator item adaptations, but nothing she'd seen looked right.