Theory of proveit.numbers.number_sets.natural_numbers

Provide description here.

import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions	axioms	theorems	demonstrations

Sub-theories

All axioms contained within this theory

proveit.numbers.number_sets.natural_numbers.zero_in_nats

proveit.numbers.number_sets.natural_numbers.successor_in_nats

proveit.numbers.number_sets.natural_numbers.successor_is_injective

proveit.numbers.number_sets.natural_numbers.zero_not_successor

proveit.numbers.number_sets.natural_numbers.induction

proveit.numbers.number_sets.natural_numbers.boolean_natural_membership

proveit.numbers.number_sets.natural_numbers.natural_pos_def