Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- documentclass[11pt,a4paper]{article}
- usepackage{setspace}
- usepackage[fleqn]{amsmath}
- begin{document}
- begin{table}
- begin{align}
- & 1 in N
- \ &forall n in N exists n' in N qquad &text{($m'$ is the successor of $m$)}
- end{align}
- caption{The axioms for natural numbers as given by Peano
- label{PeanoAxioms}
- end{table}
- end{document}
Add Comment
Please, Sign In to add comment