proveit.numbers.number_sets.natural_numbers.natural_pos_is_pos
proveit.numbers.number_sets.rational_numbers
proveit.numbers.number_sets.real_numbers
proveit.numbers.number_sets.integers
proveit.numbers.number_sets.rational_numbers
proveit.numbers.number_sets.complex_numbers