https://axiomatic.wiki/ 2026-07-13T09:12:29.008Z daily 1 https://axiomatic.wiki/symbols 2026-07-13T09:12:29.008Z monthly 0.6 https://axiomatic.wiki/docs 2026-07-13T09:12:29.008Z monthly 0.5 https://axiomatic.wiki/docs/getting-started 2026-07-13T09:12:29.008Z monthly 0.5 https://axiomatic.wiki/docs/formatting 2026-07-13T09:12:29.008Z monthly 0.5 https://axiomatic.wiki/docs/conventions 2026-07-13T09:12:29.008Z monthly 0.5 https://axiomatic.wiki/docs/api 2026-07-13T09:12:29.008Z monthly 0.5 https://axiomatic.wiki/wiki/def-formula-notation 2026-07-12T22:51:23.597Z weekly 0.8 https://axiomatic.wiki/wiki/thm-deduction 2026-07-12T22:38:59.332Z weekly 0.8 https://axiomatic.wiki/wiki/lem-provable-generalize 2026-07-12T22:37:44.362Z weekly 0.8 https://axiomatic.wiki/wiki/lem-provable-self-implies 2026-07-12T22:36:42.413Z weekly 0.8 https://axiomatic.wiki/wiki/lem-provable-mp 2026-07-12T22:35:16.823Z weekly 0.8 https://axiomatic.wiki/wiki/lem-provable-monotone 2026-07-12T22:35:15.896Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-countable 2026-07-12T22:30:25.323Z weekly 0.8 https://axiomatic.wiki/wiki/thm-seq-countable 2026-07-12T22:29:34.696Z weekly 0.8 https://axiomatic.wiki/wiki/thm-tuple-countable 2026-07-12T22:29:33.550Z weekly 0.8 https://axiomatic.wiki/wiki/thm-product-countable 2026-07-12T22:29:32.609Z weekly 0.8 https://axiomatic.wiki/wiki/thm-omega-indexed-union-countable 2026-07-12T22:27:29.925Z weekly 0.8 https://axiomatic.wiki/wiki/thm-pairing-injective 2026-07-12T22:25:41.295Z weekly 0.8 https://axiomatic.wiki/wiki/def-pairing 2026-07-12T22:25:40.255Z weekly 0.8 https://axiomatic.wiki/wiki/thm-triangular-basic 2026-07-12T22:24:19.602Z weekly 0.8 https://axiomatic.wiki/wiki/def-triangular 2026-07-12T22:24:18.649Z weekly 0.8 https://axiomatic.wiki/wiki/def-consistent 2026-07-12T22:21:08.251Z weekly 0.8 https://axiomatic.wiki/wiki/thm-soundness 2026-07-12T22:18:23.711Z weekly 0.8 https://axiomatic.wiki/wiki/thm-equality-axioms-valid 2026-07-12T22:17:05.145Z weekly 0.8 https://axiomatic.wiki/wiki/thm-quantifier-axioms-valid 2026-07-12T22:16:27.603Z weekly 0.8 https://axiomatic.wiki/wiki/thm-propositional-axioms-valid 2026-07-12T22:15:02.170Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-substitution-satisfaction 2026-07-12T22:12:05.798Z weekly 0.8 https://axiomatic.wiki/wiki/thm-free-for-unused-variable 2026-07-12T22:09:57.248Z weekly 0.8 https://axiomatic.wiki/wiki/thm-satisfaction-irrelevant-variable 2026-07-12T22:08:04.521Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-value-irrelevant-variable 2026-07-12T22:08:03.575Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-substitution-value 2026-07-12T22:06:02.679Z weekly 0.8 https://axiomatic.wiki/wiki/def-provable 2026-07-12T22:01:25.971Z weekly 0.8 https://axiomatic.wiki/wiki/def-proof 2026-07-12T22:01:25.022Z weekly 0.8 https://axiomatic.wiki/wiki/def-logical-axiom 2026-07-12T22:01:24.075Z weekly 0.8 https://axiomatic.wiki/wiki/def-equality-axioms 2026-07-12T21:57:38.498Z weekly 0.8 https://axiomatic.wiki/wiki/def-quantifier-axioms 2026-07-12T21:57:36.930Z weekly 0.8 https://axiomatic.wiki/wiki/def-propositional-axioms 2026-07-12T21:52:52.718Z weekly 0.8 https://axiomatic.wiki/wiki/thm-free-for-exists 2026-07-12T21:49:44.497Z weekly 0.8 https://axiomatic.wiki/wiki/def-free-for 2026-07-12T21:49:43.552Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-substitution-exists 2026-07-12T21:47:37.813Z weekly 0.8 https://axiomatic.wiki/wiki/def-formula-substitution 2026-07-12T21:47:36.874Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-substitution-exists 2026-07-12T21:46:34.599Z weekly 0.8 https://axiomatic.wiki/wiki/def-term-substitution 2026-07-12T21:46:33.234Z weekly 0.8 https://axiomatic.wiki/wiki/def-logical-consequence 2026-07-12T21:44:14.082Z weekly 0.8 https://axiomatic.wiki/wiki/def-model 2026-07-12T21:44:13.158Z weekly 0.8 https://axiomatic.wiki/wiki/def-sentence 2026-07-12T21:44:12.212Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-free-variables-exists 2026-07-12T21:41:48.343Z weekly 0.8 https://axiomatic.wiki/wiki/def-formula-free-variables 2026-07-12T21:41:47.412Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-variables-exists 2026-07-12T21:40:48.695Z weekly 0.8 https://axiomatic.wiki/wiki/def-term-variables 2026-07-12T21:40:47.751Z weekly 0.8 https://axiomatic.wiki/wiki/thm-satisfaction-exists 2026-07-12T21:38:23.669Z weekly 0.8 https://axiomatic.wiki/wiki/def-satisfaction 2026-07-12T21:34:19.792Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-unique-readability 2026-07-12T21:30:53.540Z weekly 0.8 https://axiomatic.wiki/wiki/thm-formula-balance 2026-07-12T21:09:08.221Z weekly 0.8 https://axiomatic.wiki/wiki/lem-formula-balance-on-terms 2026-07-12T21:04:46.823Z weekly 0.8 https://axiomatic.wiki/wiki/lem-formula-balance-concat 2026-07-12T21:01:56.621Z weekly 0.8 https://axiomatic.wiki/wiki/def-formula-parse-balance 2026-07-12T21:00:59.176Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-value-exists 2026-07-12T20:51:47.941Z weekly 0.8 https://axiomatic.wiki/wiki/def-term-value 2026-07-12T20:50:55.837Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-unique-readability 2026-07-12T20:48:12.357Z weekly 0.8 https://axiomatic.wiki/wiki/thm-term-balance 2026-07-12T20:44:43.115Z weekly 0.8 https://axiomatic.wiki/wiki/lem-parse-balance-concat 2026-07-12T20:42:16.424Z weekly 0.8 https://axiomatic.wiki/wiki/def-parse-balance 2026-07-12T20:40:56.924Z weekly 0.8 https://axiomatic.wiki/wiki/lem-sequence-concat-assoc 2026-07-12T20:39:59.700Z weekly 0.8 https://axiomatic.wiki/wiki/def-assignment 2026-07-12T20:13:07.652Z weekly 0.8 https://axiomatic.wiki/wiki/def-structure 2026-07-12T20:11:46.078Z weekly 0.8 https://axiomatic.wiki/wiki/def-tuple 2026-07-12T20:11:45.135Z weekly 0.8 https://axiomatic.wiki/wiki/lem-language-formula-least 2026-07-12T20:09:35.957Z weekly 0.8 https://axiomatic.wiki/wiki/def-language-formula 2026-07-12T20:09:35.012Z weekly 0.8 https://axiomatic.wiki/wiki/def-formula-admissible 2026-07-12T20:09:34.063Z weekly 0.8 https://axiomatic.wiki/wiki/lem-language-term-least 2026-07-12T18:45:21.041Z weekly 0.8 https://axiomatic.wiki/wiki/def-language-term 2026-07-12T18:45:20.092Z weekly 0.8 https://axiomatic.wiki/wiki/def-term-admissible 2026-07-12T18:45:19.148Z weekly 0.8 https://axiomatic.wiki/wiki/thm-sequence-concat-all-exists 2026-07-12T18:38:16.584Z weekly 0.8 https://axiomatic.wiki/wiki/def-sequence-concat-all 2026-07-12T18:38:15.635Z weekly 0.8 https://axiomatic.wiki/wiki/def-sequence-singleton 2026-07-12T18:38:14.686Z weekly 0.8 https://axiomatic.wiki/wiki/def-language-alphabet 2026-07-12T18:29:11.235Z weekly 0.8 https://axiomatic.wiki/wiki/def-language 2026-07-12T18:25:22.150Z weekly 0.8 https://axiomatic.wiki/wiki/lem-disjoint-union-basic 2026-07-12T18:21:13.715Z weekly 0.8 https://axiomatic.wiki/wiki/def-disjoint-union 2026-07-12T18:21:12.687Z weekly 0.8 https://axiomatic.wiki/wiki/thm-sequence-concat-basic 2026-07-12T18:11:37.346Z weekly 0.8 https://axiomatic.wiki/wiki/def-sequence-concat 2026-07-12T18:11:36.390Z weekly 0.8 https://axiomatic.wiki/wiki/lem-nat-initial-segment-split 2026-07-12T18:11:35.432Z weekly 0.8 https://axiomatic.wiki/wiki/def-finite-sequence 2026-07-12T18:11:34.487Z weekly 0.8 https://axiomatic.wiki/wiki/thm-pythagoras 2026-07-12T17:47:22.844Z weekly 0.8 https://axiomatic.wiki/wiki/def-orthogonal 2026-07-12T17:47:21.732Z weekly 0.8 https://axiomatic.wiki/wiki/def-distance-squared 2026-07-12T17:47:20.783Z weekly 0.8 https://axiomatic.wiki/wiki/def-dot-product 2026-07-12T17:47:19.862Z weekly 0.8 https://axiomatic.wiki/wiki/def-point-diff 2026-07-12T17:47:18.724Z weekly 0.8 https://axiomatic.wiki/wiki/f-imp 2026-07-12T17:45:41.188Z weekly 0.8 https://axiomatic.wiki/wiki/f-logic 2026-07-12T17:45:28.542Z weekly 0.8 https://axiomatic.wiki/wiki/f-false 2026-07-12T17:44:58.975Z weekly 0.8 https://axiomatic.wiki/wiki/f-and 2026-07-12T17:44:51.084Z weekly 0.8 https://axiomatic.wiki/wiki/f-or 2026-07-12T17:44:44.586Z weekly 0.8 https://axiomatic.wiki/wiki/f-forall 2026-07-12T17:44:37.111Z weekly 0.8 https://axiomatic.wiki/wiki/f-exists 2026-07-12T17:43:55.025Z weekly 0.8 https://axiomatic.wiki/wiki/thm-rational-field 2026-07-12T17:41:35.180Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational-inv 2026-07-12T17:41:34.239Z weekly 0.8 https://axiomatic.wiki/wiki/lem-rational-inv-well-defined 2026-07-12T17:41:33.323Z weekly 0.8 https://axiomatic.wiki/wiki/def-field 2026-07-12T17:41:32.271Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational-mul 2026-07-12T17:41:31.320Z weekly 0.8 https://axiomatic.wiki/wiki/lem-rational-mul-well-defined 2026-07-12T17:41:30.357Z weekly 0.8 https://axiomatic.wiki/wiki/thm-rational-add-group 2026-07-12T17:41:29.405Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational-neg 2026-07-12T17:41:28.454Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational-add 2026-07-12T17:41:27.556Z weekly 0.8 https://axiomatic.wiki/wiki/lem-rational-add-well-defined 2026-07-12T17:41:26.598Z weekly 0.8 https://axiomatic.wiki/wiki/lem-rational-embed-injective 2026-07-12T17:41:25.643Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational-embed 2026-07-12T17:41:24.692Z weekly 0.8 https://axiomatic.wiki/wiki/def-rational 2026-07-12T17:41:23.747Z weekly 0.8 https://axiomatic.wiki/wiki/lem-rational-equiv 2026-07-12T17:41:22.496Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-mul-cancel 2026-07-12T17:41:21.541Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-no-zero-divisors 2026-07-12T17:41:20.588Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-neg-order 2026-07-12T17:41:19.689Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-mul-pos 2026-07-12T17:41:18.744Z weekly 0.8 https://axiomatic.wiki/wiki/lem-total-order-trichotomy 2026-07-12T17:41:17.786Z weekly 0.8 https://axiomatic.wiki/wiki/f-neg 2026-07-12T17:20:03.089Z weekly 0.8 https://axiomatic.wiki/wiki/f-em 2026-07-12T17:19:14.465Z weekly 0.8 https://axiomatic.wiki/wiki/f-eq1 2026-07-12T17:18:47.725Z weekly 0.8 https://axiomatic.wiki/wiki/f-eq3 2026-07-12T17:17:22.540Z weekly 0.8 https://axiomatic.wiki/wiki/f-eq2 2026-07-12T17:16:02.825Z weekly 0.8 https://axiomatic.wiki/wiki/f-iff 2026-07-12T17:15:51.098Z weekly 0.8 https://axiomatic.wiki/wiki/f-eq4 2026-07-12T17:15:28.094Z weekly 0.8 https://axiomatic.wiki/wiki/thm-bezout 2026-07-12T17:12:33.135Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-embed-order 2026-07-12T17:12:32.219Z weekly 0.8 https://axiomatic.wiki/wiki/thm-integer-order-total 2026-07-12T17:12:31.263Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-order-well-defined 2026-07-12T17:12:30.319Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer-order 2026-07-12T17:12:29.356Z weekly 0.8 https://axiomatic.wiki/wiki/lem-nat-le-gap 2026-07-12T17:12:28.422Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-embed-hom 2026-07-12T17:12:27.501Z weekly 0.8 https://axiomatic.wiki/wiki/thm-integer-ring 2026-07-12T17:12:26.542Z weekly 0.8 https://axiomatic.wiki/wiki/lem-ring-basic 2026-07-12T17:12:25.590Z weekly 0.8 https://axiomatic.wiki/wiki/def-ring 2026-07-12T17:12:24.643Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer-mul 2026-07-12T17:12:23.696Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-mul-well-defined 2026-07-12T17:12:22.783Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer-neg 2026-07-12T17:12:21.836Z weekly 0.8 https://axiomatic.wiki/wiki/thm-integer-add-group 2026-07-12T17:12:20.870Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer-add 2026-07-12T17:12:19.923Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-add-well-defined 2026-07-12T17:12:18.972Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-embed-injective 2026-07-12T17:12:18.062Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer-embed 2026-07-12T17:12:17.113Z weekly 0.8 https://axiomatic.wiki/wiki/def-integer 2026-07-12T17:12:16.151Z weekly 0.8 https://axiomatic.wiki/wiki/lem-integer-equiv 2026-07-12T17:12:15.135Z weekly 0.8 https://axiomatic.wiki/wiki/thm-powerset-uncountable 2026-07-12T14:32:44.853Z weekly 0.8 https://axiomatic.wiki/wiki/thm-omega-infinite 2026-07-12T14:32:43.903Z weekly 0.8 https://axiomatic.wiki/wiki/lem-euclid-lemma 2026-07-12T14:32:41.179Z weekly 0.8 https://axiomatic.wiki/wiki/thm-gcd-euclidean 2026-07-12T14:32:40.234Z weekly 0.8 https://axiomatic.wiki/wiki/def-gcd 2026-07-12T14:32:39.293Z weekly 0.8 https://axiomatic.wiki/wiki/thm-omega-well-order 2026-07-12T14:29:21.323Z weekly 0.8 https://axiomatic.wiki/wiki/def-well-order 2026-07-12T14:29:20.380Z weekly 0.8 https://axiomatic.wiki/wiki/def-extremal-element 2026-07-12T14:29:19.439Z weekly 0.8 https://axiomatic.wiki/wiki/def-total-order 2026-07-12T14:29:18.490Z weekly 0.8 https://axiomatic.wiki/wiki/def-partial-order 2026-07-12T14:29:17.347Z weekly 0.8 https://axiomatic.wiki/wiki/def-countable 2026-07-12T14:19:10.415Z weekly 0.8 https://axiomatic.wiki/wiki/thm-cantor-schroder-bernstein 2026-07-12T14:19:09.466Z weekly 0.8 https://axiomatic.wiki/wiki/def-dominance 2026-07-12T14:19:08.561Z weekly 0.8 https://axiomatic.wiki/wiki/lem-kernel-normal 2026-07-12T14:19:06.141Z weekly 0.8 https://axiomatic.wiki/wiki/def-normal-subgroup 2026-07-12T14:19:05.193Z weekly 0.8 https://axiomatic.wiki/wiki/lem-kernel-subgroup 2026-07-12T14:19:04.247Z weekly 0.8 https://axiomatic.wiki/wiki/def-kernel 2026-07-12T14:19:03.316Z weekly 0.8 https://axiomatic.wiki/wiki/def-isomorphism 2026-07-12T14:19:02.367Z weekly 0.8 https://axiomatic.wiki/wiki/lem-hom-basic 2026-07-12T14:19:01.421Z weekly 0.8 https://axiomatic.wiki/wiki/def-homomorphism 2026-07-12T14:19:00.484Z weekly 0.8 https://axiomatic.wiki/wiki/thm-prime-order-cyclic 2026-07-12T14:09:24.519Z weekly 0.8 https://axiomatic.wiki/wiki/lem-group-exponent 2026-07-12T14:09:23.573Z weekly 0.8 https://axiomatic.wiki/wiki/thm-order-divides 2026-07-12T14:09:22.522Z weekly 0.8 https://axiomatic.wiki/wiki/lem-cyclic-subgroup 2026-07-12T14:09:21.577Z weekly 0.8 https://axiomatic.wiki/wiki/lem-finite-full 2026-07-12T14:09:20.635Z weekly 0.8 https://axiomatic.wiki/wiki/def-order-element 2026-07-12T14:09:19.693Z weekly 0.8 https://axiomatic.wiki/wiki/lem-finite-order 2026-07-12T14:09:18.752Z weekly 0.8 https://axiomatic.wiki/wiki/lem-power-laws 2026-07-12T14:09:17.804Z weekly 0.8 https://axiomatic.wiki/wiki/def-group-power 2026-07-12T14:09:16.867Z weekly 0.8 https://axiomatic.wiki/wiki/lem-mul-order 2026-07-12T13:24:45.450Z weekly 0.8 https://axiomatic.wiki/wiki/lem-order-add 2026-07-12T13:24:37.639Z weekly 0.8 https://axiomatic.wiki/wiki/lem-group-basic 2026-07-12T13:24:30.103Z weekly 0.8 https://axiomatic.wiki/wiki/lem-composition 2026-07-12T13:22:00.857Z weekly 0.8 https://axiomatic.wiki/wiki/lem-divides-basic 2026-07-12T13:21:04.204Z weekly 0.8 https://axiomatic.wiki/wiki/lem-order-basic 2026-07-12T13:20:37.605Z weekly 0.8 https://axiomatic.wiki/wiki/thm-parallel-equivalence 2026-07-12T00:57:27.814Z weekly 0.8 https://axiomatic.wiki/wiki/lem-line-intersection 2026-07-12T00:57:26.874Z weekly 0.8 https://axiomatic.wiki/wiki/def-parallel 2026-07-12T00:57:25.939Z weekly 0.8 https://axiomatic.wiki/wiki/def-affine-plane 2026-07-12T00:57:25.003Z weekly 0.8 https://axiomatic.wiki/wiki/thm-lagrange 2026-07-12T00:56:00.785Z weekly 0.8 https://axiomatic.wiki/wiki/lem-coset-size 2026-07-12T00:55:59.846Z weekly 0.8 https://axiomatic.wiki/wiki/lem-coset-equivalence 2026-07-12T00:55:58.809Z weekly 0.8 https://axiomatic.wiki/wiki/def-coset 2026-07-12T00:55:57.862Z weekly 0.8 https://axiomatic.wiki/wiki/def-subgroup 2026-07-12T00:55:56.813Z weekly 0.8 https://axiomatic.wiki/wiki/def-group 2026-07-12T00:55:54.918Z weekly 0.8 https://axiomatic.wiki/wiki/def-operation 2026-07-12T00:55:53.979Z weekly 0.8 https://axiomatic.wiki/wiki/lem-card-partition 2026-07-12T00:53:29.493Z weekly 0.8 https://axiomatic.wiki/wiki/lem-card-union 2026-07-12T00:53:28.543Z weekly 0.8 https://axiomatic.wiki/wiki/lem-finite-image 2026-07-12T00:53:27.585Z weekly 0.8 https://axiomatic.wiki/wiki/lem-finite-subset 2026-07-12T00:53:26.645Z weekly 0.8 https://axiomatic.wiki/wiki/def-restriction 2026-07-12T00:53:25.685Z weekly 0.8 https://axiomatic.wiki/wiki/def-cardinality 2026-07-12T00:53:24.773Z weekly 0.8 https://axiomatic.wiki/wiki/lem-cardinality-unique 2026-07-12T00:53:23.823Z weekly 0.8 https://axiomatic.wiki/wiki/thm-pigeonhole 2026-07-12T00:53:22.869Z weekly 0.8 https://axiomatic.wiki/wiki/def-finite 2026-07-12T00:53:21.919Z weekly 0.8 https://axiomatic.wiki/wiki/lem-equinumerous-equivalence 2026-07-12T00:53:20.962Z weekly 0.8 https://axiomatic.wiki/wiki/def-equinumerous 2026-07-12T00:53:20.057Z weekly 0.8 https://axiomatic.wiki/wiki/thm-euclid 2026-07-12T00:48:07.791Z weekly 0.8 https://axiomatic.wiki/wiki/lem-factorial 2026-07-12T00:48:06.844Z weekly 0.8 https://axiomatic.wiki/wiki/def-factorial 2026-07-12T00:48:05.890Z weekly 0.8 https://axiomatic.wiki/wiki/lem-prime-divisor 2026-07-12T00:48:04.969Z weekly 0.8 https://axiomatic.wiki/wiki/thm-division 2026-07-12T00:48:04.022Z weekly 0.8 https://axiomatic.wiki/wiki/def-prime 2026-07-12T00:48:03.072Z weekly 0.8 https://axiomatic.wiki/wiki/def-divides 2026-07-12T00:48:01.163Z weekly 0.8 https://axiomatic.wiki/wiki/thm-well-ordering 2026-07-12T00:45:09.205Z weekly 0.8 https://axiomatic.wiki/wiki/thm-strong-induction 2026-07-12T00:45:08.290Z weekly 0.8 https://axiomatic.wiki/wiki/lem-trichotomy 2026-07-12T00:45:05.431Z weekly 0.8 https://axiomatic.wiki/wiki/def-order 2026-07-12T00:45:03.572Z weekly 0.8 https://axiomatic.wiki/wiki/lem-mul-assoc 2026-07-12T00:45:02.617Z weekly 0.8 https://axiomatic.wiki/wiki/lem-mul-distrib 2026-07-12T00:45:01.664Z weekly 0.8 https://axiomatic.wiki/wiki/lem-mul-comm 2026-07-12T00:45:00.713Z weekly 0.8 https://axiomatic.wiki/wiki/lem-mul-left 2026-07-12T00:44:59.762Z weekly 0.8 https://axiomatic.wiki/wiki/lem-add-cancel 2026-07-12T00:44:58.857Z weekly 0.8 https://axiomatic.wiki/wiki/lem-add-comm 2026-07-12T00:44:57.899Z weekly 0.8 https://axiomatic.wiki/wiki/lem-add-assoc 2026-07-12T00:44:56.948Z weekly 0.8 https://axiomatic.wiki/wiki/def-multiplication 2026-07-12T00:44:56.004Z weekly 0.8 https://axiomatic.wiki/wiki/def-addition 2026-07-12T00:44:55.073Z weekly 0.8 https://axiomatic.wiki/wiki/thm-recursion 2026-07-12T00:40:26.240Z weekly 0.8 https://axiomatic.wiki/wiki/thm-peano 2026-07-12T00:40:25.287Z weekly 0.8 https://axiomatic.wiki/wiki/lem-nat-transitive 2026-07-12T00:40:24.343Z weekly 0.8 https://axiomatic.wiki/wiki/lem-omega-transitive 2026-07-12T00:40:23.393Z weekly 0.8 https://axiomatic.wiki/wiki/lem-regularity-cycles 2026-07-12T00:40:22.255Z weekly 0.8 https://axiomatic.wiki/wiki/thm-induction 2026-07-12T00:40:21.296Z weekly 0.8 https://axiomatic.wiki/wiki/lem-omega-least 2026-07-12T00:40:20.354Z weekly 0.8 https://axiomatic.wiki/wiki/def-omega 2026-07-12T00:40:19.421Z weekly 0.8 https://axiomatic.wiki/wiki/def-inductive 2026-07-12T00:40:18.475Z weekly 0.8 https://axiomatic.wiki/wiki/def-transitive-set 2026-07-12T00:40:17.526Z weekly 0.8 https://axiomatic.wiki/wiki/thm-equivalence-partition 2026-07-12T00:35:28.123Z weekly 0.8 https://axiomatic.wiki/wiki/thm-cantor 2026-07-12T00:35:27.174Z weekly 0.8 https://axiomatic.wiki/wiki/thm-russell 2026-07-12T00:35:26.245Z weekly 0.8 https://axiomatic.wiki/wiki/def-partition 2026-07-12T00:34:03.406Z weekly 0.8 https://axiomatic.wiki/wiki/def-quotient 2026-07-12T00:34:02.467Z weekly 0.8 https://axiomatic.wiki/wiki/def-equivalence-class 2026-07-12T00:34:01.522Z weekly 0.8 https://axiomatic.wiki/wiki/def-equivalence-relation 2026-07-12T00:34:00.577Z weekly 0.8 https://axiomatic.wiki/wiki/lem-inverse-bijection 2026-07-12T00:33:59.627Z weekly 0.8 https://axiomatic.wiki/wiki/def-inverse 2026-07-12T00:33:58.681Z weekly 0.8 https://axiomatic.wiki/wiki/def-composition 2026-07-12T00:33:56.701Z weekly 0.8 https://axiomatic.wiki/wiki/def-identity 2026-07-12T00:33:55.755Z weekly 0.8 https://axiomatic.wiki/wiki/def-bijection 2026-07-12T00:33:54.805Z weekly 0.8 https://axiomatic.wiki/wiki/def-surjection 2026-07-12T00:33:53.862Z weekly 0.8 https://axiomatic.wiki/wiki/def-injection 2026-07-12T00:33:52.913Z weekly 0.8 https://axiomatic.wiki/wiki/def-function 2026-07-12T00:33:51.984Z weekly 0.8 https://axiomatic.wiki/wiki/def-relation 2026-07-12T00:33:51.036Z weekly 0.8 https://axiomatic.wiki/wiki/def-cartesian-product 2026-07-12T00:33:50.090Z weekly 0.8 https://axiomatic.wiki/wiki/lem-ordered-pair 2026-07-12T00:33:49.142Z weekly 0.8 https://axiomatic.wiki/wiki/def-ordered-pair 2026-07-12T00:33:48.199Z weekly 0.8 https://axiomatic.wiki/wiki/def-difference 2026-07-12T00:33:47.265Z weekly 0.8 https://axiomatic.wiki/wiki/def-intersection 2026-07-12T00:33:46.321Z weekly 0.8 https://axiomatic.wiki/wiki/thm-empty 2026-07-11T23:26:56.945Z weekly 0.8 https://axiomatic.wiki/wiki/def-image 2026-07-11T23:26:56.688Z weekly 0.8 https://axiomatic.wiki/wiki/def-successor 2026-07-11T23:26:56.420Z weekly 0.8 https://axiomatic.wiki/wiki/def-powerset 2026-07-11T23:26:56.153Z weekly 0.8 https://axiomatic.wiki/wiki/def-union 2026-07-11T23:26:55.887Z weekly 0.8 https://axiomatic.wiki/wiki/def-pair 2026-07-11T23:26:55.619Z weekly 0.8 https://axiomatic.wiki/wiki/def-emptyset 2026-07-11T23:26:55.261Z weekly 0.8 https://axiomatic.wiki/wiki/def-subset 2026-07-11T23:26:54.987Z weekly 0.8 https://axiomatic.wiki/wiki/ax-choice 2026-07-11T23:26:54.717Z weekly 0.8 https://axiomatic.wiki/wiki/ax-reg 2026-07-11T23:26:54.454Z weekly 0.8 https://axiomatic.wiki/wiki/ax-repl 2026-07-11T23:26:54.190Z weekly 0.8 https://axiomatic.wiki/wiki/ax-sep 2026-07-11T23:26:53.925Z weekly 0.8 https://axiomatic.wiki/wiki/ax-inf 2026-07-11T23:26:53.663Z weekly 0.8 https://axiomatic.wiki/wiki/ax-power 2026-07-11T23:26:53.389Z weekly 0.8 https://axiomatic.wiki/wiki/ax-union 2026-07-11T23:26:53.126Z weekly 0.8 https://axiomatic.wiki/wiki/ax-pair 2026-07-11T23:26:52.776Z weekly 0.8 https://axiomatic.wiki/wiki/ax-ext 2026-07-11T23:26:52.502Z weekly 0.8