Preliminaries to Arithmetic

Library Committee

Association of Mizar Users

MML Identifier: ARYTM

Contents (PDF format)

1. Main Part
2. Real Numbers

Bibliography

[1] Grzegorz Bancerek. Sequences of ordinal numbers. Journal of Formalized Mathematics, 1, 1989.

[2] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.

[3] Library Committee. Introduction to arithmetic. Journal of Formalized Mathematics, Addenda, 2003.

[4] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

[5] Andrzej Trybulec. Non negative real numbers. Part I. Journal of Formalized Mathematics, Addenda, 1998.

[6] Andrzej Trybulec. Non negative real numbers. Part II. Journal of Formalized Mathematics, Addenda, 1998.

[7] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.