#axioms

8 posts

@math_stackexchange Axiomatizability of the class of relations whose relation classes form a partition. #Mathematics #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22639263
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22639263
Don't have an account? Find a server at joinmastodon.org
Oct 18, 2026
@math_stackexchange In classical propositional logic how is Mendelson's 3rd axiom derived from Lukasiewicz's axioms? #Logic #Mathematics #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22633945
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22633945
Don't have an account? Find a server at joinmastodon.org
Oct 18, 2026
@math_stackexchange Is Banach-Tarski Independent of ZF with choice being false [duplicate] #Mathematics #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22630293
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22630293
Don't have an account? Find a server at joinmastodon.org
Oct 18, 2026
@math_stackexchange Are commutativity and associativity of addition on numbers axioms #Mathematics #Axioms #Algebra
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22612751
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22612751
Don't have an account? Find a server at joinmastodon.org
Oct 17, 2026
@stack_exchange_hot_questions Is the classification of finite simple groups provable without the axiom of choice? - mathoverflow.net #Math #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22667545
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22667545
Don't have an account? Find a server at joinmastodon.org
Oct 16, 2026
@math_stackexchange А note on non-finite axiomatizability of realizable systems in "Axioms and Hulls" by D. Knuth #Mathematics #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22524742
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22524742
Don't have an account? Find a server at joinmastodon.org
Oct 14, 2026
@math_stackexchange Why isn't the axiom of choice disproved using proof by contradiction? #Mathematics #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22496326
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22496326
Don't have an account? Find a server at joinmastodon.org
Oct 13, 2026
@stack_exchange_hot_questions Particular name for proofs based on axiom schemas - math.stackexchange.com #Math #Logic #Axioms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22492632
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22492632
Don't have an account? Find a server at joinmastodon.org
Oct 12, 2026