809:
344:
334:
313:
449:
540:
439:
418:
748:
282:
211:
241:
857:
715:
551:
190:
153:
613:
Note: These conjectures are about models of
Zermelo-Frankel set theory with choice, and may not be able to be expressed in models of other set theories such as the various constructive set theories or non-wellfounded set
480:
44:
840:
147:
779:
400:
580:
575:
198:
194:
981:. If you have citations for sources for conjectures to be added, they can be listed here. If not, then they need to be published elsewhere before they can be considered here. —
1020:
515:
505:
1025:
1015:
267:
930:
There are infinitely many cubes of the form 3 mod 4.: 27, 343, 1331, 3375, 6859, 12167, 19683, 29791, 42875, 59319, 79507, 103823, 132651, 166375, 205379, ... (
475:
1010:
685:
390:
79:
168:
135:
1005:
471:
462:
423:
257:
24:
366:
85:
684:"Problems solved since 1995" was recently changed to "problems solved in the last 30 years". I think the former title should be used. See
666:
129:
642:, the problems may be understood as concerning the models thereof. The provability of the conjectures listed below might not be open in
963:
844:
783:
125:
357:
318:
639:
175:
99:
30:
651:
202:
104:
20:
74:
643:
619:
293:
470:
content on
Knowledge. If you would like to participate, you can edit the article attached to this page, or visit the
467:
141:
65:
655:
631:
545:
210:
185:
260:
on 17:47, 15 January 2015 (UTC). For the contribution history and old versions of the redirected page, please see
454:
977:
This is not the place to pose new conjectures. All content here, as in all
Knowledge articles, must be based on
626:
in the language is the same for any of them. What's probably meant here is (and that's my proposed replacement)
558:
221:
986:
821:
670:
967:
754:
647:
109:
990:
971:
873:
869:
848:
826:
802:
787:
730:
707:
703:
692:
674:
299:
937:
There are infinitely many fifth powers of the form 3 mod 4.: 243, 16807, 161051, 759375, 2476099, ... (
343:
646:, such as ones over a logic or with axioms that are weaker, stronger or conflicting with it (e.g. a
562:
225:
982:
816:
161:
55:
365:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
630:
The notable conjectures in the subject of set theory were typically formulated in the context of
564:
349:
226:
70:
333:
312:
609:
There was a 2021 edit at the start of the set theory section that reads a little odd. It reads
865:
798:
726:
699:
253:
51:
958:
other than 1 can never be a square, because squares can never be of the form 3 mod 4, while
921:
915:
909:
903:
897:
891:
593:
560:
223:
635:
885:
951:
other than 1 can be equal to a, where a is an integer and n is odd and greater than 1.
815:
Critical lack of explanation why this should be included in the list, and no sources.
438:
417:
999:
978:
794:
722:
689:
622:) with the same signature (the bulk just works with \in and not more), a problem
686:
Knowledge:Manual_of_Style/Dates_and_numbers#Statements_likely_to_become_outdated
362:
662:
In fact the middle sentence mentioning models is probably even redundant also.
444:
339:
959:
955:
948:
775:
i want to add an unsolved math question which is (12 45 ∏ 61
742:
565:
275:
235:
227:
15:
938:
931:
474:, where you can join the project and/or contribute to the
262:
248:
160:
835:
Removal of solved problems from the unsolved section
361:, a collaborative effort to improve the coverage of
33:for general discussion of the article's subject.
962:other than 1 are always of the form 3 mod 4.
481:History of Science Collaboration of the Month
174:
8:
739:Semi-protected edit request on 17 June 2024
266:; for the discussion at that location, see
1021:Mid-importance history of science articles
534:
412:
307:
281:
279:
620:List_of_first-order_theories#Set_theories
466:, an attempt to improve and organize the
249:Lists of unsolved problems in mathematics
490:Knowledge:WikiProject History of Science
258:List of unsolved problems in mathematics
25:List of unsolved problems in mathematics
1026:WikiProject History of Science articles
493:Template:WikiProject History of Science
414:
309:
1016:List-Class history of science articles
841:2405:201:5502:C989:D1F5:2160:CCE8:4F0A
839:Like the Erdős-Heilbronn conjecture.
780:2601:603:4C7F:B6D0:68E7:C8AD:7A34:6A7
7:
944:This goes on with any odd exponent.
618:Given any FOL Set theory (many here
355:This article is within the scope of
947:So, the conjecture asks, whether a
298:It is of interest to the following
23:for discussing improvements to the
1011:High-priority mathematics articles
698:Based on the MoS outline, agreed.
14:
375:Knowledge:WikiProject Mathematics
855:
807:
746:
713:
538:
447:
437:
416:
378:Template:WikiProject Mathematics
342:
332:
311:
280:
239:
209:
45:Click here to start a new topic.
1006:List-Class mathematics articles
510:This article has been rated as
395:This article has been rated as
652:Tarski-Grothendieck set theory
478:. You can also help with the
463:History of Science WikiProject
1:
890:The conjecture asks, whether
822:Talk/Report any mistakes here
731:18:51, 22 February 2024 (UTC)
675:17:15, 21 November 2023 (UTC)
369:and see a list of open tasks.
42:Put new text under old text.
927:2. repunit power conjecture
864:Any other ones you noticed?
708:02:14, 20 January 2024 (UTC)
693:01:52, 20 January 2024 (UTC)
460:This article is part of the
918:- 3: an even multiple of 3
769:to reactivate your request.
757:has been answered. Set the
496:history of science articles
50:New to Knowledge? Welcome!
1042:
979:reliably-published sources
656:non-wellfounded set theory
632:Zermelo-Frankel set theory
516:project's importance scale
991:20:28, 28 July 2024 (UTC)
972:19:53, 28 July 2024 (UTC)
874:06:34, 15 July 2024 (UTC)
849:05:16, 15 July 2024 (UTC)
827:23:55, 17 June 2024 (UTC)
803:23:49, 17 June 2024 (UTC)
788:17:07, 17 June 2024 (UTC)
592:This page is archived by
509:
455:History of science portal
432:
394:
327:
306:
80:Be welcoming to newcomers
886:Carbrickscity conjecture
401:project's priority scale
680:Change in section title
648:constructive set theory
358:WikiProject Mathematics
288:This article is rated
75:avoid personal attacks
912:- 2: a multiple of 5
246:The contents of the
203:Auto-archiving period
100:Neutral point of view
640:completeness theorem
381:mathematics articles
105:No original research
954:It is sure, that a
793:What does it mean?
634:, and usually with
644:other set theories
487:History of Science
468:history of science
424:History of Science
350:Mathematics portal
294:content assessment
86:dispute resolution
47:
880:2 new conjectures
825:
813:Not done for now:
773:
772:
602:
601:
597:
530:
529:
526:
525:
522:
521:
411:
410:
407:
406:
274:
273:
234:
233:
66:Assume good faith
43:
1033:
894:- 4 is a prime.
863:
859:
858:
819:
811:
810:
764:
760:
750:
749:
743:
721:
717:
716:
591:
566:
542:
541:
535:
498:
497:
494:
491:
488:
457:
452:
451:
450:
441:
434:
433:
428:
420:
413:
383:
382:
379:
376:
373:
352:
347:
346:
336:
329:
328:
323:
315:
308:
291:
285:
284:
283:
276:
265:
243:
242:
236:
228:
214:
213:
204:
179:
178:
164:
95:Article policies
16:
1041:
1040:
1036:
1035:
1034:
1032:
1031:
1030:
996:
995:
922:Graham's number
916:Graham's number
910:Graham's number
904:Graham's number
900:: a power of 3
898:Graham's number
892:Graham's number
882:
856:
854:
837:
808:
790:
762:
758:
747:
741:
714:
712:
682:
607:
605:Set theory note
598:
567:
561:
539:
495:
492:
489:
486:
485:
453:
448:
446:
426:
380:
377:
374:
371:
370:
348:
341:
321:
292:on Knowledge's
289:
261:
240:
230:
229:
224:
201:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1039:
1037:
1029:
1028:
1023:
1018:
1013:
1008:
998:
997:
994:
993:
983:David Eppstein
881:
878:
877:
876:
836:
833:
832:
831:
830:
829:
777:
771:
770:
751:
740:
737:
736:
735:
734:
733:
681:
678:
667:178.115.55.162
660:
659:
616:
615:
606:
603:
600:
599:
590:
589:
586:
585:
584:
583:
578:
570:
569:
568:
563:
559:
557:
556:
543:
532:
528:
527:
524:
523:
520:
519:
512:Mid-importance
508:
502:
501:
499:
459:
458:
442:
430:
429:
427:Mid‑importance
421:
409:
408:
405:
404:
393:
387:
386:
384:
367:the discussion
354:
353:
337:
325:
324:
316:
304:
303:
297:
286:
272:
271:
244:
232:
231:
222:
220:
219:
216:
215:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1038:
1027:
1024:
1022:
1019:
1017:
1014:
1012:
1009:
1007:
1004:
1003:
1001:
992:
988:
984:
980:
976:
975:
974:
973:
969:
965:
961:
957:
952:
950:
945:
942:
940:
935:
933:
928:
925:
924:- 4: unknown
923:
919:
917:
913:
911:
907:
905:
901:
899:
895:
893:
888:
887:
879:
875:
871:
867:
862:
853:
852:
851:
850:
846:
842:
834:
828:
823:
818:
814:
806:
805:
804:
800:
796:
792:
791:
789:
785:
781:
776:
768:
765:parameter to
756:
752:
745:
744:
738:
732:
728:
724:
720:
711:
710:
709:
705:
701:
697:
696:
695:
694:
691:
687:
679:
677:
676:
672:
668:
663:
657:
653:
649:
645:
641:
637:
633:
629:
628:
627:
625:
621:
612:
611:
610:
604:
595:
588:
587:
582:
579:
577:
574:
573:
572:
571:
554:
553:
548:
547:
537:
536:
533:
517:
513:
507:
504:
503:
500:
483:
482:
477:
473:
469:
465:
464:
456:
445:
443:
440:
436:
435:
431:
425:
422:
419:
415:
402:
398:
397:High-priority
392:
389:
388:
385:
368:
364:
360:
359:
351:
345:
340:
338:
335:
331:
330:
326:
322:High‑priority
320:
317:
314:
310:
305:
301:
295:
287:
278:
277:
269:
268:its talk page
264:
259:
255:
251:
250:
245:
238:
237:
218:
217:
212:
208:
200:
196:
192:
189:
187:
183:
182:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
964:94.31.89.138
953:
946:
943:
936:
929:
926:
920:
914:
908:
902:
896:
889:
883:
866:GalacticShoe
860:
838:
812:
774:
766:
755:edit request
718:
700:GalacticShoe
683:
664:
661:
623:
617:
608:
550:
544:
531:
511:
479:
472:project page
461:
396:
356:
300:WikiProjects
247:
206:
184:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
594:ClueBot III
372:Mathematics
363:mathematics
319:Mathematics
263:its history
148:free images
31:not a forum
1000:Categories
906:- 1: even
759:|answered=
476:discussion
290:List-class
252:page were
638:. By the
624:expressed
88:if needed
71:Be polite
21:talk page
960:repunits
795:—Tamfang
654:resp. a
546:Archives
207:375 days
186:Archives
56:get help
29:This is
27:article.
956:repunit
949:repunit
939:A016841
932:A016839
723:Klbrain
690:Bubba73
614:theory.
514:on the
399:on the
154:WP refs
142:scholar
636:Choice
296:scale.
254:merged
126:Google
778:35)!
763:|ans=
753:This
552:Index
256:into
191:Index
169:JSTOR
130:books
84:Seek
987:talk
968:talk
870:talk
861:Done
845:talk
799:talk
784:talk
727:talk
719:Done
704:talk
671:talk
391:High
162:FENS
136:news
73:and
884:1.
817:ABG
761:or
688:.
506:Mid
176:TWL
1002::
989:)
970:)
941:)
934:)
872:)
847:)
824:)
801:)
786:)
767:no
729:)
706:)
673:)
665:--
658:.)
650:,
555:)
205::
197:,
193:,
156:)
54:;
985:(
966:(
868:(
843:(
820:(
797:(
782:(
725:(
702:(
669:(
596:.
581:2
576:1
549:(
518:.
484:.
403:.
302::
270:.
199:2
195:1
188::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.